Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data Control Number UPD-00000177161 Date and Time of Latest Transaction 20090716221447.0 General Information 040315s1995 gw a 100 0 eng International Standard Book Number 3540601783 Cataloging Source DENG Language Code eng Local Call Number QA 9 A1 L64 1995 Title Statement Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers / Daniel Leivant, ed Physical Description viii, 514 p. : ill Subject Added Entry - Topical Term Logic, Symbolic and mathematical -- Congresses   Computational complexity -- Congresses Added Entry - Personal Name Leivant, Daniel Maurice Raphael. Collection Category FO Format Monograph Location UP DENG QA 9 A1 L64 1995 UDEGB0015457 Regular Circulation E-ESEP-1861   UP DENG QA 9 A1 L64 1995 UDEGB0015458 Regular Circulation E-ESEP-1862   UP DENG QA 9 A1 L64 1995 UDEGB0015457 Regular Circulation E-ESEP-1861   UP DENG QA 9 A1 L64 1995 UDEGB0015458 Regular Circulation E-ESEP-1862 Textual Physical Form Designator Book           Physical Location University of the Philippines Diliman: College of Engineering Library I QA 9 A1 L64 1995           Digital Copy Not Available          Add to Book Cart  |   Download MARC