Gems of theoretical computer science

Dettagli Bibliografici
Autore principale:	Schoning, Uwe 1955-
Altri autori:	Pruim, Randall J.
Natura:	Libro
Lingua:	English
Pubblicazione:	Berlin Springer c1998.
Soggetti:	Automatic theorem proving.