Theorem Proving in Higher Order Logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz
₹5,561
From Semantics to Computer Science
by Yves Bertot, Gérard Huet, Jean-Jacques Lévy
₹4,169
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- 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.
From the publisher
Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world.
Description supplied by the publisher.
Book details
- ISBN-13
- 9780521518253
- ISBN-10
- 0521518253
- Authors
- Yves Bertot, Gérard Huet, Jean-Jacques Lévy
- Publisher
- Cambridge University Press
- Condition
- New
- Subject
- Computers & Internet
More by Yves Bertot and related titles
Advanced Software Engineering
Sergio F. Ochoa, Gruia-Catalin Roman
₹3,749
Reliable Software Technologies Ada-Europe 2000
Hubertus B. Keller, Erhard Plödereder
₹5,642
Building Hypermedia APIs with HTML5 and Node
Mike Amundsen
₹2,155
Practical Internet Security
John R. Vacca
₹4,507
Node for Front-End Developers
Garann Means
₹1,297
Multimedia Und Computeranwendungen in Der Lehre
Klaus Dette, Dieter Haupt, Christoph Polze
₹3,508
Approximation and Online Algorithms
Evripidis Bampis, Klaus Jansen
₹5,514
Large-Scale C++ Software Design
John Lakos
₹4,968
Computer Animation ... Vom Feinsten
Marc Schneider
₹3,508
Software-Entwicklung Für Dynamische Portfolioallokation Und Risikomanagement
Christoph Impekoven
₹2,415
Computer-Aided Drug Design and Delivery Systems
Ahindra Nag, Baishakhi Dey
₹4,180