Proof and Computation (Paperback, Softcover reprint of the original 1st ed. 1995)

Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory. The subjects covered are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	NATO ASI Subseries F:, 139
Release date:	December 2011
First published:	1995
Editors:	Helmut Schwichtenberg
Dimensions:	235 x 155 x 24mm (L x W x T)
Format:	Paperback
Pages:	470
Edition:	Softcover reprint of the original 1st ed. 1995
ISBN-13:	978-3-642-79363-9
Categories:	Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Internet > Network computers Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Books > Computing & IT > Computer programming > Programming languages > General
LSN:	3-642-79363-0
Barcode:	9783642793639

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!