Gems of theoretical computer science
By: Uwe Schöning, Randall J. Pruim ; [translated from the German by Randall Pruim].
Contributors: Pruim, Randall J.
Publisher: Springer
Published: 1998
Place of publication: Berlin; New York
Language: eng
Number of pages: 320
Subjects: Automatic theorem proving.
Notes: "Bibliography": p. [309]-311.
Includes bibliographical references and index.