Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
Walter Carnielli
Download - Immediately Available
Format: eBook (PDF)
Neural-Symbolic Cognitive Reasoning
Artur S. D'Avila Garcez
Download - Immediately Available
Format: eBook (PDF)
Conditionals and Modularity in General Logics
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)
Mathematical Analysis and Numerical Methods for Science and Technology : Volume 6 Evolution Problems II
Robert Dautray
Download - Immediately Available
Format: eBook (PDF)
Mathematical Analysis and Numerical Methods for Science and Technology : Volume 5 Evolution Problems I
Robert Dautray
Download - Immediately Available
Format: eBook (PDF)
Mathematical Analysis and Numerical Methods for Science and Technology : Volume 1 Physical Origins and Classical Methods
Robert Dautray
Download - Immediately Available
Format: eBook (PDF)
Mathematical Analysis and Numerical Methods for Science and Technology : Volume 3 Spectral Theory and Applications
Robert Dautray
Download - Immediately Available
Format: eBook (PDF)
Mathematical Analysis and Numerical Methods for Science and Technology : Volume 4 Integral Equations and Numerical Methods
Robert Dautray
Download - Immediately Available
Format: eBook (PDF)
Mathematical Analysis and Numerical Methods for Science and Technology : Volume 2 Functional and Variational Methods
Robert Dautray
Download - Immediately Available
Format: eBook (PDF)
A New Perspective on Nonmonotonic Logics
Dov M. Gabbay
Download - Immediately Available
Format: eBook (PDF)