Search Results
 
  Search result  Your search for [author]Huet, Gerard. returned 2 records.  
 
Sort by:  
 
     
  Book Logical foundations of functional programming.

Reading, Massachusetts: Addison Wesley Pub., 1990.

Subject: Functional programming (Computer science).

  
     
Relevance: 19.00%
 
     
  Book Logical environments.

New York: Canridge University Press, 1993.

Subject: Automatic theorem proving -- Congresses; Artificial intelligence -- Congresses; Logic, Symbolic and mathematical -- Congresses.

  
     
Relevance: 18.58%
 
     
 
         
         
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