Gems of theoretical computer science

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Schoning, Uwe 1955-
Rannpháirtithe:	Pruim, Randall J.
Formáid:	LEABHAR
Teanga:	English
Foilsithe / Cruthaithe:	Berlin Springer c1998.
Ábhair:	Automatic theorem proving.