World Library  


Add to Book Shelf
Flag as Inappropriate
Email this Book

Px, A Computational Logic

By Hayashi, Susumu

Click here to view

Book Id: WPLBN0002018195
Format Type: PDF eBook
File Size:
Reproduction Date: 2010

Title: Px, A Computational Logic  
Author: Hayashi, Susumu
Volume:
Language: English
Subject: Automatic theorem proving, Logic, Symbolic and mathematical, Artificial intelligence
Collections: American Libraries Collection
Historic
Publication Date:
1988
Publisher: Cambridge, Mass.; MIT Press

Citation

APA MLA Chicago

Susumu, H. (1988). Px, A Computational Logic. Retrieved from http://www.worldlibrary.in/


Description
Book digitized from the library of the University of California.; Bibliography: p. [191]-196; Includes index

Summary
Contributor: University of California ; The digitization of this title was sponsored by Google

 

Click To View

Additional Books


  • Resurrectio Divi Quirini Francisci Bacon... (by )
  • Contents 
  • Die Irrationalen Quadratwurzeln Bei Arch... (by )
  • Introduction to Mechanics and Symmetry Q (by )
  • Vorlesungen über Mathematische Physik (by )
  • A Problem Course in Mathematical Logic V... (by )
  • Current Textbooks in Algorithmic Algebra... 
  • Archimeds Zwey Bücher Über Kugel Und Cyl... (by )
  • Oeuvres de Blaise Pascal; Publiees Suiva... (by )
  • Le Opere Di Galileo Galilei : Vol. 9 Volume Vol. 9 (by )
  • Annalen der Physik und Chemie (by )
  • Hermann Grassmanns Gesammelte Mathematis... (by )
Scroll Left
Scroll Right

 



Copyright © World Library Foundation. All rights reserved. eBooks from World Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.