Buy Books Online in India Logo

Reach Out To New Markets - Sell New and Used Items!  
My Account  | Log in  | Shopping Cart  | Mailing List  | FAQ   
Search:    Advanced Search
Logical Frameworks
Logical Frameworks, 9780521413008  

Be the first to review

Logical Frameworks

ISBN:   0521413001   List Price:    INR 8,072.00
ISBN-13:   9780521413008       (GBP 80.00)
Publisher:   Cambridge University Press   Pages:    415
Binding:   Hardcover   Weight:    0.7 Kilograms
Pub. Year:   1991   Language:    English
Category:   Computers / Machine Theory
  Bookmark and Share
Containing the proceedings from the First International Workshop on Logical Frameworks, this volume is concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving and consequently topics such as artificial intelligence.

A1 Marketplace Sellers 
No sellers for this item.

More Information: Logical Frameworks
ISBN: 0521413001
ISBN-13: 9780521413008
Title: Logical Frameworks
Related Tags: Buy Now: Logical Frameworks: 0521413001
Best Price: Logical Frameworks: 0521413001
More books on Computers
More books on Machine Theory