Gems of theoretical computer science

Detaylı Bibliyografya
Yazar:	Schoning, Uwe 1955-
Diğer Yazarlar:	Pruim, Randall J.
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Berlin Springer c1998.
Konular:	Automatic theorem proving.