Logic, Algebra, and Computation: International Summer School: 79 (NATO ASI Subseries F:, 79) - Image 1

£78.01

Springer Logic, Algebra, and Computation: International Summer School: 79 (NATO ASI Subseries F:, 79)

Name: Logic, Algebra, and Computation: International Summer School: 79 (NATO ASI Subseries F:, 79)
Brand: Springer
Price: 80.58 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 39 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £81 (22 days, 56.4%)

Price range: £78 - £81

Price levels: 2 different prices over 39 days

Description

This volume presents the proceedings of the tenth Marktoberdorf Summer School, with the theme Logic, Algebra, and Computation. The volume has a message: applied logic is programming, programming is applied logic, and computation is a common concern of logic and mathematics.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642768016
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 16 January 2012
Listed Since: 12 July 2012

Barcode

No barcode data available

Springer Logic, Algebra, and Computation: International Summer School: 79 (NATO ASI Subseries F:, 79)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Programming and Mathematical Method: International Summer School: 88 (NATO ASI Subseries F:, 88)

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

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

Program Design Calculi: 118 (NATO ASI Subseries F:, 118)

Program Design Calculi: 118 (NATO ASI Subseries F:, 118)

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare: 91 (Nato Science Series C:, 91)

Springer Mathematical Problems from Applied Logic I - Vol 4

Intelligent Computing: Proceedings of the 2019 Computing Conference, Volume 1: 997 (Advances in Intelligent Systems and Computing, 997)

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

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

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)

Statistical Distributions in Scientific Work: Volume 5 ― Inferential Problems and Properties: 79 (Nato Science Series C:, 79)

LISP, Lore, and Logic: An Algebraic View of LISP Programming, Foundations, and Applications

Logic, Language and Computation: 5 (Applied Logic Series, 5)

AI Aspects in Reasoning, Languages, and Computation: 889 (Studies in Computational Intelligence, 889)

Computer Algebra in Scientific Computing: 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings: 10490 (Lecture Notes in Computer Science, 10490)

Logic for Applications (Texts in Computer Science)

The Calculus of Computation: Decision Procedures with Applications to Verification

Computation of Curves and Surfaces: 307 (Nato Science Series C:, 307)

Statistical Distributions in Scientific Work: Volume 4 ― Models, Structures, and Characterizations, Proceedings of the NATO Advanced Study Institute ... 1, 1980: 79 (Nato Science Series C:, 79)

Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999: 1 (Semantics Structures in Computation, 1)

Mathematical Logic for Computer Science

Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, ... August 1995: 280 (Synthese Library, 280)