Gems of theoretical computer science

Dades bibliogràfiques
Autor principal:	Schoning, Uwe 1955-
Altres autors:	Pruim, Randall J.
Format:	Llibre
Idioma:	English
Publicat:	Berlin Springer c1998.
Matèries:	Automatic theorem proving.