2 résultat(s)
Télécharger le livre : Dynamic Tractable Reasoning
Holger Andreas
Dynamic Tractable Reasoning
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
Format(s) : PDF, ePub
60,12 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Holger Andreas , Peter Verdée
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
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
Format(s) : PDF, ePub
52,74 €
Téléchargement immédiat
Dès validation de votre commande