Proof technology and computation

Proof technology and computation

書目詳細資料
企業作者: NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
其他作者: Schwichtenberg, Helmut 1942-, Spies, Katharina
格式: 圖書
語言:English
出版: Amsterdam IOS Press c2006.
叢編:NATO science series,Series III,Computer and systems sciences v.200.
主題:
Automatic theorem proving > Congresses.
Computer programming > Congresses.
Computer software > Development > Congresses.