Intensionality
Reinhard Kahle
₹4,053
Proof Theory in Computer Science
International Seminar
by Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk
Springer · 2001 · Paperback
₹5,499
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Springer in 2001, Proof Theory in Computer Science: International Seminar by Reinhard Kahle, Peter Schroeder-Heister & others runs to 239 pages in paperback.
The book deals with Congresses, Automatic theorem proving, Proof theory and Computer science.
Book details
- ISBN-13
- 9783540427520
- ISBN-10
- 354042752X
- Authors
- Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk
- Publisher
- Springer
- Published
- 2001
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 239
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Reinhard Kahle and related titles
Advances in Proof Theory
Reinhard Kahle, Thomas Strahm, Thomas Studer
₹6,821
Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rüdiger Olderog
₹5,618
Perspectives of Systems Informatics
Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
₹5,602
Foundations of Software Technology and Theoretical Computer Science
P. S. Thiagarajan
₹5,608
Advanced Digital Design with the Verilog Hdl
Michael Ciletti
₹5,206
Programming Languages and Their Definition
H. Bekic, C. B. Jones
₹5,518
Types for Proofs and Programs
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
₹5,481
Process Mining
Po-Lung Yu Moussa Larbani
₹3,849
Application and Theory of Petri Nets
Lars M. Kristensen, Laure Petrucci
₹5,568
Computer Science Logic
Jerzy Marcinkowski
₹5,825
Relational and Algebraic Methods in Computer Science
Harrie De Swart
₹5,576