Gems of theoretical computer science

Bibliografische gegevens
Hoofdauteur:	Schoning, Uwe 1955-
Andere auteurs:	Pruim, Randall J.
Formaat:	Boek
Taal:	English
Gepubliceerd in:	Berlin Springer c1998.
Onderwerpen:	Automatic theorem proving.