Gems of theoretical computer science

書目詳細資料
主要作者:	Schoning, Uwe 1955-
其他作者:	Pruim, Randall J.
格式:	圖書
語言:	English
出版:	Berlin Springer c1998.
主題:	Automatic theorem proving.