Cover Image

Gems of theoretical computer science /

Show other versions (1)
Bibliographic Details
Main Author: Schöning, Uwe, 1955-
Other Authors: Pruim, Randall J.
Format: Book
Language:English
Published: Berlin ; New York : Springer, [1998]
Subjects:
Automatic theorem proving.
Search Result 1
Cover Image
by Schöning, Uwe, 1955-
Published 1998
Connect to the full text of this electronic book
eBook
Show all versions (2)