Logic of Computation Image close
Logic of Computation on Hardback
Logic of Computation on Hardback
Show Hide Adult Content
Logic of Computation close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Logic of Computation

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$237.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $59.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 26 Jun - 8 Jul using International Courier

Explore more NATO ASI

See all products in this series

Near Field Optics on Hardback Save $44
$136.99
$181.95
Near Field Optics
Hardback
Available - Usually ships in 3-4 weeks
White Dwarfs on Hardback
$237.99
White Dwarfs
Hardback
Available - Usually ships in 3-4 weeks
Advances in Object-oriented Database Systems on Hardback
$237.99
Advances in Object-oriented Database Systems
Hardback
Available - Usually ships in 3-4 weeks
Dialogue and Instruction on Hardback
$215.99
Dialogue and Instruction
Hardback
Available - Usually ships in 3-4 weeks
Earthquakes Induced by Underground Nuclear Explosions on Hardback
$236.99
Earthquakes Induced by Underground Nuclear Explosions
Hardback
Available - Usually ships in 3-4 weeks
Integrated Electricity Resource Planning on Hardback
$237.99
Integrated Electricity Resource Planning
Hardback
Available - Usually ships in 3-4 weeks
Physical Signatures of Magnetospheric Boundary Layer Processes on Hardback
$239.99
Physical Signatures of Magnetospheric Boundary Layer Processes
Hardback
Available - Usually ships in 3-4 weeks
Materials and Crystallographic Aspects of HTc-Superconductivity on Hardback
$237.99
Materials and Crystallographic Aspects of HTc-Superconductivity
Hardback
Available - Usually ships in 3-4 weeks
Solar Surface Magnetism on Hardback
$237.99
Solar Surface Magnetism
Hardback
Available - Usually ships in 3-4 weeks
Phase Transitions and Relaxation in Systems with Competing Energy Scales on Hardback
$237.99
Phase Transitions and Relaxation in Systems with Competing Energy...
Hardback
Available - Usually ships in 3-4 weeks
Structures and Conformations of Non-rigid Molecules on Hardback
$237.99
Structures and Conformations of Non-rigid Molecules
Hardback
Available - Usually ships in 3-4 weeks
Integrable Systems, Quantum Groups and Quantum Field Theories on Hardback
$237.99
Integrable Systems, Quantum Groups and Quantum Field Theories
Hardback
Available - Usually ships in 3-4 weeks
Exploiting Mental Imagery with Computers in Mathematics Education on Hardback
$236.99
Exploiting Mental Imagery with Computers in Mathematics Education
Hardback
Available - Usually ships in 3-4 weeks
Computer-Aided Analysis of Rigid and Flexible Mechanical Systems on Hardback
$239.99
Computer-Aided Analysis of Rigid and Flexible Mechanical Systems
Hardback
Available - Usually ships in 3-4 weeks
Technology Education in School and Industry on Hardback
$215.99
Technology Education in School and Industry
Hardback
Available - Usually ships in 3-4 weeks
Remediation and Management of Degraded River Basins on Hardback
$236.99
Remediation and Management of Degraded River Basins
Hardback
Available - Usually ships in 3-4 weeks

Description

The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 International Summer School in Marktoberdorf, Germany. Logic is of special importance in computer science, since it provides the basis for giving correct semantics of programs, for specification and verification of software, and for program synthesis. The lectures presented here provide the basic knowledge a researcher in this area should have and give excellent starting points for exploring the literature. Topics covered include semantics and category theory, machine based theorem proving, logic programming, bounded arithmetic, proof theory, algebraic specifications and rewriting, algebraic algorithms, and type theory.
Release date Australia
June 30th, 1997
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Contributor
  • Edited by Helmut Schwichtenberg
Illustrations
illustrations
Pages
401
Series
ISBN-13
9783540629634
Product ID
25084213

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Hardware & Operating Systems >
Computer architecture & logic design
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design