Loading...
Please wait, while we are loading the content...
Similar Documents
PX, a computational logic
Content Provider | Internet Archive |
---|---|
Author | Hayashi, Susumu |
Organization | University of California |
Language | English |
Publisher | Cambridge, Mass. : MIT Press |
Publisher Date | 1988-01-01 |
Access Restriction | Open |
Subject Keyword | mexico delight indian indians makers pueblo delight makers rio grande white man indian songs national forest mountain lion art museum passion play hermano mayor years ago Automatic theorem proving Démonstration automatique Théorèmes Logique symbolique et mathématique Mathematical logic Applications Symbolic and mathematical Logic |
Content Type | Text |
Resource Type | Book |