Gems of theoretical computer science

Bibliografiske detaljer
Hovedforfatter:	Schoning, Uwe 1955-
Andre forfattere:	Pruim, Randall J.
Format:	Bog
Sprog:	English
Udgivet:	Berlin Springer c1998.
Fag:	Automatic theorem proving.