Gems of theoretical computer science

Detalles Bibliográficos
Autor Principal:	Schoning, Uwe 1955-
Outros autores:	Pruim, Randall J.
Formato:	Libro
Idioma:	English
Publicado:	Berlin Springer c1998.
Subjects:	Automatic theorem proving.