8th international conference on automated deduction
Book
·
OSTI ID:6679540
This book covers the following topics: term rewriting systems; nonclassical deduction; equality reasoning; program verification; graph based deduction; special deduction systems; constructive ATP; unification theory; theoretical issues; logic programming oriented deduction systems; and deductive databases, planning, and synthesis. Extended abstracts of current deduction systems are included.
- OSTI ID:
- 6679540
- Country of Publication:
- United States
- Language:
- English
Similar Records
Foundations of deductive databases and logic programming
Fundamentals of artificial intelligence
Readings in artificial intelligence and software engineering
Book
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:5090928
Fundamentals of artificial intelligence
Book
·
Tue Dec 31 23:00:00 EST 1985
·
OSTI ID:6679556
Readings in artificial intelligence and software engineering
Book
·
Tue Dec 31 23:00:00 EST 1985
·
OSTI ID:6701046