NovaCat - NSU Libraries Catalog user info Skip the menu to the main content
     

Cover for {{ rc.info.title }}

{{rc.info.title}}

{{ rc.info.subtitle }}

{{ rc.info.author }}

{{ rc.info.edition }}

{{ rc.info.publisher }} {{ rc.info.year }}

Summary

{{rc.info.summary}} {{rc.info.summaryMore}}

Location Call # Volume Status
 Sherman Library  QA76.9.A96 S42713 1998    AVAILABLE  
Author Schöning, Uwe, 1955-
Title Gems of theoretical computer science / Uwe Schöning, Randall J. Pruim ; [translated from the German by Randall Pruim].
OCLC 39189935
ISBN 3540644253 (hardcover : alk. paper)
Publisher Berlin ; New York : Springer, [1998]
©1998
Description x, 320 pages : illustrations ; 25 cm
LC Subject heading/s Automatic theorem proving.
Bibliography "Bibliography": pages [309]-311.
Includes bibliographical references and index.
Permanent link back to this item
https://novacat.nova.edu:446/record=b1261436~S13

Use classic NovaCat |