Ebooks d'Holger Andreas en PDF et EPUB

2 Livre(s)
Télécharger le livre : Dynamic Tractable Reasoning
Ajouter à ma liste d'envies
Dynamic Tractable Reasoning
Holger Andreas
This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas...

Editeur : Springer
Parution : 2020-03-27
Collection : Synthese Library
PDF, ePub

60,12 €
Télécharger le livre : Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Ajouter à ma liste d'envies
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Holger Andreas , Peter Verdée
This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics....

Editeur : Springer
Parution : 2016-12-02
Collection : Trends in Logic
PDF, ePub

52,74 €