登入選單
Google圖書搜尋
A language for resolution-oriented theorem provers
作者
Eberhard Bergmann / Bernhard Böhringer / Ulrich Grude
出版1976
ISBN
OCLC:257874696
Bernhard Groethuysen
作者
Hannes Böhringer
出版1978
ISBN
UOM:39015013290898
Mode-unabhängige Syntaxanalyse und Artanpassung fü...
作者
Bernhard Böhringer
出版1977
ISBN
OCLC:74382580
Wissensbasierte Systeme mit Prolog
作者
Bernhard Böhringer / Carlo Chiopris / Ivan Futo
出版1988
ISBN
3925118551 / 9783925118555
主題
Expert systems (Computer science)
Birth of a new physics
作者
I. Bernhard Cohen
出版1960
ISBN
OCLC:164117675
Grenzsteuern, Arbeitsangebot und Wirtschaftswachst...
作者
Fritz Böhringer / Bernhard Boockmann / Christina Elschner / Sebastian Hauptmeier / Friedrich Heinemann / Marcus Kappler / Michael Overesch / Timo Reister
出版2008
ISBN
3845210125 / 9783845210124
Wenden Prisengerichte Völkerrecht an?
作者
Anthon Heinrich Schröder / Bernhard Böckermann / Karl-Heinz Böhringer / Sigfrid Schlechte
出版1970
ISBN
LCCN:73516012
主題
Air warfare (International law)