Automated Theorem ProvingW. Bibel
Automated Theorem Proving
W. Bibel · 1982
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 1982
- Language
- German
- Publisher
- Vieweg+Teubner Verlag
- Editions
- 1
- ISBN
- 9783322901002
Data source: Wikidata
More by W. Bibel
Automated Deduction - A Basis for ApplicationsW. Bibel
Automated Deduction - A Basis for Applications
W. Bibel · 1998
Automated Deduction - A Basis for ApplicationsW. Bibel
Automated Deduction - A Basis for Applications
W. Bibel · 1998
Fundamentals of Artificial IntelligenceW. Bibel
Fundamentals of Artificial Intelligence
W. Bibel · 1986
Automated deductionW. Bibel
Automated deduction
W. Bibel · 1998
Automated theorem provingW. Bibel
Automated theorem proving
W. Bibel · 1987
Mathematical Methods of Specification and Synthesis of Software Systems '85W. Bibel
Mathematical Methods of Specification and Synthesis of Software Systems '85
W. Bibel · 1986
Artificial IntelligenceW. Bibel
Artificial Intelligence
W. Bibel · 1985
Multiobjective Heuristic SearchW. Bibel
Multiobjective Heuristic Search
W. Bibel · 2013
Ausgezeichnete Informatikdissertationen 1996W. Bibel
Ausgezeichnete Informatikdissertationen 1996
W. Bibel · 2012
Lehren vom Leben. Essays über Menschen und GesellschaftW. Bibel
Lehren vom Leben. Essays über Menschen und Gesellschaft
W. Bibel · 2003