Gems of theoretical computer science

Bibliografiset tiedot
Päätekijä:	Schoning, Uwe 1955-
Muut tekijät:	Pruim, Randall J.
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	Berlin Springer c1998.
Aiheet:	Automatic theorem proving.