From Semantics to Computer Science by Yves Bertot – Formal Semantics
Yves Bertot, Gérard Huet, Jean-Jacques Lévy
₹4,169
Theorem Proving in Higher Order Logics
12th International Conference
by Yves Bertot, Gilles Dowek, Andre Hirschowitz
Springer · 1999 · Paperback
₹5,561
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
Theorem Proving in Higher Order Logics: 12th International Conference is written by Yves Bertot, Gilles Dowek & others. This paperback edition from Springer (1999) has 359 pages.
Its main subjects are Congresses, Automatic theorem proving, Congres and Theoremes.
Book details
- ISBN-13
- 9783540664635
- ISBN-10
- 3540664637
- Authors
- Yves Bertot, Gilles Dowek, Andre Hirschowitz
- Publisher
- Springer
- Published
- 1999
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 359
- Language
- English
- Condition
- New
More by Yves Bertot and related titles
Die Schizophrenieähnlichen Emotionspsychosen
F. Labhardt
₹3,508
Applied Computational Genomics
Yin Yao Shugart
₹12,014
Database Issues for Data Visualization
Andreas Wierse, Georges G. Grinstein, Ulrich Lang
₹5,492
Diffusions and Elliptic Operators
Richard F. Bass
₹2,593
Building Research Capacity at Universities
Fred A. Yamoah David Eshun Yawson
₹2,769
Vibrations of Shells and Rods
Khanh Chau Le
₹6,428
Handbuch Der Allgemeinen Und Speziellen Arzneiverordnungslehre Für Äzte
G. Klemperer, E. Rost
₹3,143
Modern Potting Composts
A. C. Bunt
₹4,240
Immunology of Endocrine Diseases
A. M. McGregor
₹4,201
Graph Drawing
Stephen North
₹5,649
Séminaire de Théorie Du Potentiel Paris, 1977-1978, No. 4
M. Brelot, F. Hirsch, G. Choquet
₹3,263