|
Diagrammatic Representation and Reasoning
|
Michael Anderson, Bernd Meyer, Patrick Olivier
|
|
|
Model-Based Reasoning in Science and Technology
|
Lorenzo Magnani, Claudia Casadio
|
|
|
Logic Designer's Manual
|
John D. Lenk
|
|
|
Agent-Based Defeasible Control in Dynamic Environments
|
John-Jules Ch. Meyer, Jan Treur
|
|
|
ASIC Design in the Silicon Sandbox: A Complete Guide to Building Mixed-Signal Integrated Circuits
|
Keith Barr
|
|
|
Artificial General Intelligence
|
Ben Goertzel, Cassio Pennachin
|
|
|
Thinking from A to Z
|
Nigel Warburton
|
|
|
Logic
|
Vern S. Poythress
|
|
|
Tools for Teaching Logic
|
Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando Soler-Toscano
|
|
|
Reflections on Theoretical Issues in Argumentation Theory
|
Frans H. van Eemeren, Bart Garssen
|
|