Automated Model Building
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 2004 |
| Authors | Ricardo Caferra |
| A. Leitsch | |
| Nicolas Peltier | |
| Editors | A. Leitsch |
| Ricardo Caferra | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2062368 |
About Automated Model Building
On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model building. . . .