Proof and Computation: 139 (NATO ASI Subseries F:, 139) - Image 1

£77.43

Springer Proof and Computation: 139 (NATO ASI Subseries F:, 139)

Name: Proof and Computation: 139 (NATO ASI Subseries F:, 139)
Brand: Springer
Price: 77.43 GBP
Availability: InStock

Architecture & Microprocessors

This is the usual price. Wait for it to drop, or tell us your number.

£77 today · usual range £0–£0 · best ever £73

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 629 days • 629 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 629 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £73 (283 days, 45.0%)

Price range: £73 - £81

Price levels: 6 different prices over 629 days

Description

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.

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 3642793630
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 13 December 2011
Listed Since: 13 July 2012

Barcode

No barcode data available

Springer Proof and Computation: 139 (NATO ASI Subseries F:, 139)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Logical Foundations of Proof Complexity (Perspectives in Logic)

Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)

Proof Complexity: 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)

Logic of Computation: SER F / v.157 (NATO ASI)

Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497)

Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)

Proof and System-Reliability: v. 62 (NATO Science Series II)

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)

Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic)

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014: 152 (Springer Proceedings in Mathematics & Statistics, 152)

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings: 5330 (Lecture Notes in Computer Science, 5330)

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)

How to Prove It: A Structured Approach

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)

Language, Proof and Logic 2e +CD: Second Edition