Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

Sign Up

Books

Handb Logic Art Intell V3 Hlai C
Handb Logic Art Intell V3 Hlai C
Part of a multivolume work covering the application of logic to artificial intelligence and logic programming. »
 
 
 
 
 

Many-Dimensional Modal Logics
Many-Dimensional Modal Logics
Theory and Applications »
 
 
 
 
 

Labld Deductve Syst Olg 33 C
Labld Deductve Syst Olg 33 C
This work introduces a new unifying framework for logics which makes it »
 
 
 
 
 

Agenda Relevance
Agenda Relevance
A Study In Formal Pragmatics »
 
 
 
 
 

Logical Tools for Handling Change in Agent-Based Systems
Logical Tools for Handling Change in Agent-Based Systems
Logical Tools for Handling Change in Agent-Based Systems »
 
 
 
 
 

Inductive Logic
Inductive Logic
Inductive Logic »
 
 
 
 
 

Interpolat Definability Olg 46 C
Interpolat Definability Olg 46 C
Modal And Intuitionistic Logics »
 
 
 
 
 

Temporal Logic Vol 2 Olg 40 C
Temporal Logic Vol 2 Olg 40 C
Mathematical Foundations and Computational Aspects »