Mathematical Methods of Specification and Synthesis of Software Systems '85W. Bibel, Klaus P. Jantke · First published 1986Open the Tome
Fundamentals of Artificial IntelligenceW. Bibel, Philippe Jorrand · First published 1986Open the Tome
Schnittelimination in einem Teilsystem der einfachen TypenlogikW. Bibel · First published 1968Open the Tome