Little Theories (1992)

Cached

Download Links

by William M. Farmer , Joshua D. Guttman , F. Javier Thayer
Venue:Automated Deduction|CADE-11, volume 607 of Lecture Notes in Computer Science
Citations:48 - 15 self

Document Versions

Little Theories –William M. Farmer, Joshua D. Guttman, F. Javier Thayer — 1992 — Automated Deduction|CADE-11, volume 607 of Lecture Notes in Computer Science
Little theories –William M. Farmer, Joshua D. Guttman, F. Javier Thayer — 1992 — Automated Deduction|CADE-11, volume 607 of Lecture Notes in Computer Science