6 treff

Deduction : automated logic
by Wolfgang Bibel with the assistance of ...
Bok Engelsk 1993
Automated theorem proving
Wolfgang Bibel
Bok Engelsk 1987
Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985
edited by W. Bibel and K. P. Jantke
Bok Språk ikke angitt 1986
Künstliche Intelligenz : Frühjahrsschule, Teisendorf, 15.-24. März 1982
herausgegeben von Wolfgang Bibel und Jörg...
Bok Språk ikke angitt 1982
Automated theorem proving
Wolfgang Bibel
Bok Språk ikke angitt 1982
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Conference on Automated Deduction
Bok Engelsk 1980