9 treff

Beyond the black box : the forensics of airplane crashes
George Bibel
Bok Engelsk 2008
Deduction : automated logic
by Wolfgang Bibel with the assistance of ...
Bok Engelsk 1993
Milestones in immunology
[edited by] Debra Jan Bibel ; with a fore...
Bok Engelsk 1988
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
Bibelen paa Danske : Kong Fredrik II's bibel

Bok Dansk 1607