Record Details
 
  « New Search    
   
 
Bibliographic Data
001
  
nlp00119614
005
  
20091229141333.0
008
  
000516s1993||||nyu 000 0 eng
020
##
$a0521433126
040
##
$aNLP
082
##
$a Ref 004.015$b1 L829 1993
099
##
$c419065$d419065
245
0#
$aLogical environments /$cedited by Gerard Huet and Gordon Plotkin.
260
##
$aNew York :$bCanridge University Press,$c1993.
300
##
$axiii, 338 p. ;$c23 cm.
501
##
$aISBN 0521-43312-6
504
##
$aIncludes bibliographical references.
541
##
$e42630r$h2772.00
650
#0
$aAutomatic theorem proving$xCongresses.
650
#0
$aArtificial intelligence$xCongresses.
650
#0
$aLogic, Symbolic and mathematical$xCongresses.
700
1#
$aHuet, Gerard.
700
1#
$aPlotkin, Gordon.
842
##
$aBook
852
##
$aNLP$bReference$cGeneral Book$eT.M. Kalaw St. Ermita Manila$kRef$h004.0151$iL829$m1993$nph$o004.0151 L829 1993$p42630r$zNLP$x505742
940
##
$aNLP
  
     
 
Physical Location
National Library of the Philippines
National Library of the Philippines004.0151 / L829
  
     
 
Digital Copy
Not Available
  
     
  |  Download MARC record Download MARC
 
         
         
Online Catalog
Basic Search
Advanced Search
Browse Subjects
Book Cart
 
         

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