Gems of theoretical computer science
By: Uwe Schöning, Randall Pruim ; [translated from the German by Randall Pruim].
Contributors: Pruim, Randall J.
Publisher: Springer
Published: 1998
Place of publication: Berlin; London
Language: eng
Number of pages: 320
Subjects: Automatic theorem proving.
Work titles: Perlen der theoretischen Informatik.
Notes: "Bibliography": p. [309]-311.

Includes bibliographical references and index.