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 »
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 ... »
Neural-Symbolic Learning Systems Neural-symbolic learning systems play a central role artificial intelligence, and this text provides an introduction to the field and an overview of the theo... »