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 »
Boeken
Handb Logic Art Intell V1 Hlai C
Provides authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas of applicatio... »
Provides authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas of applicatio... »
Han Logic Comp Sci Vol 5 Hlcs C
This volume of the computer science series covers all major areas of application of logic to theoretical computer science. Topics include Martin-Loef's Type ... »
This volume of the computer science series covers all major areas of application of logic to theoretical computer science. Topics include Martin-Loef's Type ... »
Labld Deductve Syst Olg 33 C
This work introduces a new unifying framework for logics which makes it »
This work introduces a new unifying framework for logics which makes it »
Ideeënbus
