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
Language: English
Subject: Automatic theorem proving, Logic, Symbolic and mathematical, Artificial intelligence
Collections: American Libraries Collection
Publication Date:
Publisher: Cambridge, Mass.; MIT Press


APA MLA Chicago

Susumu, H. (1988). Px, A Computational Logic. Retrieved from

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

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.