Buy Books Online
Home > Books > Computers >Expert Systems > Theorem Proving in Higher Order Logics: 16th International C...

Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, ROM, Italy, September 8-12, 2003, Proceedings

( English)
by David Basin Burkhart Wolff
Publisher : Springer
Price : Rs.5673 Out Of Stock
(Prices are inclusive of all taxes)
Payment Methods:
Net Banking, Credit/Debit Card, Cheque, Draft.

Summary: Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, ROM, Italy, September 8-12, 2003, Proceedings


This book constitutes the refereed proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003, held in Rome, Italy in September 2003.

The 24 revised full papers presented together with an invited paper were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on hardware and Assembler languages, proof automation, fool combination, logic extensions, theorem prover technology, mathematical theories, and security. Among the theorem proving systems discussed are HOL, Coq, MetaPRL, and Isabelle/Isar.


Details of :Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, ROM, Italy, September 8-12, 2003, Proceedings


Title : Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, ROM, Italy, September 8-12, 2003, Proceedings
Author : David Basin , Burkhart Wolff
ISBN: 3540406646
Binding : Paperback
EAN : 9783540406648
Publisher: Springer
Language : English
Pages: 377

New books In Store
By Hersey P H
Rs. 325  244  25% off
By Mankiw N G
Rs. 475  380  20% off
By John Vivian
Rs. 775  620  20% off
books In Focus
By Gerald Corey
Rs. 525  368   30 % off
By Mankiw N G
Rs. 475  380   20 % off
  • This book Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, ROM, Italy, September 8-12, 2003, Proceedings by David Basin , Burkhart Wolff (author) is published or distributed by Springer [3540406646, 9783540406648]
  • Price can change due to reprinting, price change by publisher or sourcing cost change for imported books.
  • Book reviews are added by registered customers. They need not necessarily buy book.
  • Free download of Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, ROM, Italy, September 8-12, 2003, Proceedings by David Basin, Burkhart Wolffin PDF format or ebook format may not available.
  • The book Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, ROM, Italy, September 8-12, 2003, Proceedings by David Basin, Burkhart Wolff(author) is published or distributed by Springer [3540406646, 9783540406648].
  • www.nbcindia.com/books is the biggest online bookstore in India for sale of books at best price - fiction, literature, audio books, study guides, novels, story books, rare books, textbooks and books by popular authors. These are available in various editions and bindings e.g. paperback and hardcover at best discount.
Feedback: Want to suggest a feature? Report a bug? Drop in a line and give us your feedback