Gems of theoretical computer science

Détails bibliographiques
Auteur principal:	Schoning, Uwe 1955-
Autres auteurs:	Pruim, Randall J.
Format:	Livre
Langue:	English
Publié:	Berlin Springer c1998.
Sujets:	Automatic theorem proving.