Gems of theoretical computer science

Gems of theoretical computer science /

Saved in:

Bibliographic Details
Main Author:	Schöning, Uwe, 1955-
Other Authors:	Pruim, Randall J.
Format:	Book
Language:	English German
Published:	Berlin ; New York : Springer, ©1998.
Subjects:	Automatic theorem proving

St. Cloud State University

Holdings details from St. Cloud State University
Call Number:	QA76.9.A96 S42713 1998

University of Minnesota

Holdings details from University of Minnesota
Call Number:	QA76.9.A96 S42713 1998