Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data Control Number UPD-00000167451 Date and Time of Latest Transaction 20090716220748.0 General Information 080209s1987 enk 000 eng International Standard Book Number 094653612 Language Code eng Local Call Number Q 335 D46 1987 Main Entry - Personal Name Delahaye, Jean-Paul Title Statement Formal methods in artificial intelligence / by J.P. Delahaye ; translated by J. Howlett ; foreword by Maurice Nivat Physical Description vii, 205 p Subject Added Entry - Topical Term *Artificial intelligence -- Methodology   Artificial intelligence -- Data processing Added Entry - Personal Name Howlett, J. Collection Category FO Format Paper Location UP DENG Q 335 D46 1987 UDEGB0028877 Regular Circulation E-25660 Textual Physical Form Designator Book           Physical Location University of the Philippines Diliman: College of Engineering Library I Q 335 D46 1987           Digital Copy Not Available          Add to Book Cart  |   Download MARC