Search
Lexile Level
AR Level
AR Level
Temporal Logic: First International Conference, Ictl '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (1994) 9783540582410 by
Gabbay, Dov M -
Springer,
-1994
Dewey: 511.3
N/A
Gwai-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceed 9783540566670 by
Ohlbach, Hans J -
Springer,
-1993
Dewey: 006.3
N/A
Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings (200 9783540229612 by
Ohlbach, Hans J -
Springer,
-2004
Dewey: 006.3
N/A
Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, Ecsqaru-Fa 9783540630951 by
Gabbay, Dov -
Springer,
-1997
Dewey: 006.333
N/A
Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, Fapr'96, Bonn, Germany, June (3-7), 1996. Proceedings. (1996) 9783540613138 by
Gabbay, Dov M -
Springer,
-1996
Dewey: 006.3
N/A
Design Patterns Für Mathematische Beweise: Ein Leitfaden Insbesondere Für Informatiker (1. Aufl. 2017) 9783662556511 by
Ohlbach, Hans Jürgen -
Springer Vieweg,
-2017
Dewey: 004.0151
N/A
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay 9780792356875 by
Gabbay, Dov M -
Kluwer Academic Publishers,
-1999
Dewey: 160
N/A
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay (Softcover Reprint of the Original 1st 1999) 9789401059367 by
Ohlbach, Hans Jürgen -
Springer,
-2012
Dewey: 005.131
N/A