Record Details
  « New Search    
Bibliographic Data
Control Numbernlp00119614
Date and Time of Latest Transaction20091229141333.0
General Information000516s1993||||nyu 000 0 eng
International Standard Book Number0521433126
Cataloging SourceNLP
Dewey Decimal Classification NumberRef 004.015 1 L829 1993
Title StatementLogical environments / edited by Gerard Huet and Gordon Plotkin
Physical Descriptionxiii, 338 p. ; 23 cm
Subject Added Entry - Topical TermAutomatic theorem proving -- Congresses
 Artificial intelligence -- Congresses
 Logic, Symbolic and mathematical -- Congresses
Added Entry - Personal NameHuet, Gerard.
 Plotkin, Gordon.
Textual Physical Form DesignatorBook
LocationNLP Reference General Book T.M. Kalaw St. Ermita Manila Ref 004.0151 L829 1993 ph 004.0151 L829 1993 42630r NLP 505742
Physical Location
National Library of the Philippines
National Library of the Philippines004.0151 / L829
Digital Copy
Not Available
Online Catalog
Basic Search
Advanced Search
Browse Subjects
Book Cart

Text Size:
S  -  M  -  L
Copyright © 2004-2023. Philippine eLib Project
Host: U.P. Diliman University Library