Science Policy and Research Management in the Balkan Countries
Nikolaos Katsaros
₹20,021
Theorem Proving in Higher Order Logics
15th International Conference
by Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar
Springer · 2002 · Paperback
₹5,680
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: 15th International Conference is written by Victor A. Carreno, Cesar A. Munoz & others. This paperback edition from Springer (2002) has 347 pages.
The book deals with Congresses and Automatic theorem proving.
Book details
- ISBN-13
- 9783540440390
- ISBN-10
- 3540440399
- Authors
- Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar
- Publisher
- Springer
- Published
- 2002
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 347
- Language
- English
- Condition
- New
Related books
Artificial Intelligence with Python
Zheng Rong Teik Toe Teoh
₹3,706
Die Strafe
Hans Von Hentig
₹3,508
Coherent Multidimensional Spectroscopy
Minhaeng Cho
₹3,208
Die Gonorrhöe Des Mannes
Wilhelm Karo
₹3,508
Das Photographische Objektiv
Johannes Flügge, Kurt Michel
₹5,498
Corporate Financial Distress
Francesco Paolone Matteo Pozzoli
₹4,112
Satellite Radiothermovision of Atmospheric Processes
Dmitry M. Ermakov
₹5,018
Trinkwasser
Irmgard Alexander, Karl-Ernst Quentin, Dieter Eichelsdörfer
₹4,374
Viktor Von Weizsäcker Zum 100. Geburtstag
P. Hahn, W. Jacob
₹3,508
The Notion of an Ideal Audience in Legal Argument
George Christie
₹7,751
Ecological Studies in the Coastal Waters of Mauritania
W.J. Wolff
₹4,266