Gems of theoretical computer science

Bibliografski detalji
Glavni autor:	Schoning, Uwe 1955-
Daljnji autori:	Pruim, Randall J.
Format:	Knjiga
Jezik:	English
Izdano:	Berlin Springer c1998.
Teme:	Automatic theorem proving.