Search Results
 
  Search result  Your search for [author]Gabbay, Dov M. returned 5 records.  
 
Sort by:  
 
     
  Book Handbook of logic in artificial intelligence and logic programming.

by Gabbay, Dov M.; Oxford: Clarendon Press, 1994.

Subject: Artificial intelligence; Logic programming; Logic, Symbolic and mathematical.

  
     
Relevance: 21.76%
 
     
  Book What is a logical systemn.

Oxford: Clarendon Press, 1994.

Subject: Logic, Symbolic and mathematical; Computer science.

  
     
Relevance: 21.52%
 
     
  Book Handbook of philosophical logic.

Dordrecht: D. Reidel, 1983.

Subject: Logic.

  
     
Relevance: 21.05%
 
     
  Book Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings.

Berlin: Springer-Verlag, 1994.

Subject: Electronic digital computers -- Programming; Logic, Symbolic and mathematical.

  
     
Relevance: 20.82%
 
     
  Book Handbook of logic in artificial intelligence and logic programming.

Oxford: Clarendon Press.

Subject: Logic programming; Artificial intelligence; Logic, Symbolic and mathematical.

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