Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Meedoen

Boeken

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. »
 
 
 
 
 

Labelled Deduction
Labelled Deduction
 »
 
 
 
 
 

The Many Valued And Non-Monotonic Turn In Logic
The Many Valued And Non-Monotonic Turn In Logic
The Many Valued and Non-monotonic Turn in Logic »
 
 
 
 
 

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