W. B. · Wolfgang Bibel · Wolfgang Bibel Jörg H. Siekmann
Springer · Vieweg+Teubner Verlag
title | ISBN-13 | year of publica- tion | other author(s) | |
---|---|---|---|---|
5th Conference on Automated Deduction, Les Arcs, France, 1980 | 978-0-387-10009-8 | 1980 | Savoie, France) Conference on Automated Deduction 1980 (Les Arcs | |
5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 | 978-3-540-10009-6 | 2008 | R. Kowalski | |
Automated theorem proving | 978-3-528-08520-9 | 1982 | ||
Fundamentals of Artificial Intelligence: An Advanced Course | 978-0-387-18265-0 | 1986 | ||
Mathematical Methods of Specification and Synthesis of Software Systems '85 | 978-0-387-16444-1 | 1986 |