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.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.A96 S42713 1998
 
Call Number Status Get It
QA76.9.A96 S42713 1998 Available