Search
Lexile Level
AR Level
AR Level
Rigid Flexibility: The Logic of Intelligence (2006) 9781402050442 by
Wang, Pei -
Springer,
-2006
Dewey: 006.3
N/A
Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas (Second 2025) 9783031853517 by
Farmer, William M -
Birkhauser,
-2025
N/A
Logical and Computational Aspects of Model-Based Reasoning (2002) 9781402007125 by
Magnani, L -
Springer,
-2002
Dewey: 501
N/A
Proof Theory and Automated Deduction (Softcover Reprint of the Original 1st 1997) 9781402003684 by
Goubault-Larrecq, Jean -
Springer,
-2001
Dewey: 511.3
N/A
Textbook of Belief Dynamics: Theory Change and Database Updating (1999) 9780792353249 by
Hansson, Sven Ove -
Springer,
-1999
Dewey: 005.74
N/A
Operations Research in Transportation Systems: Ideas and Schemes of Optimization Methods for Strategic Planning and Operations Management (1998) 9780792351573 by
Belenky, A S -
Springer,
-1998
Dewey: 388.015118
N/A
Proof Theory for General Unification (1991) 9780817635930 by
Snyder, W -
Birkhauser,
-1991
Dewey: 511.3
N/A
Rigid Flexibility: The Logic of Intelligence (2006) 9789048172641 by
Wang, Pei -
Springer,
-2011
Dewey: 006.3
N/A
Dynamic Worlds: From the Frame Problem to Knowledge Management 9789048151592 by
Pareschi, Remo -
Springer,
-2010
Dewey: 006.33
N/A
Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas (2023) 9783031211140 by
Farmer, William M -
Birkhauser,
-2024
N/A
Inference on the Low Level: An Investigation Into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition (2004) 9781402024924 by
Leitgeb, Hannes -
Springer,
-2004
Dewey: 160
N/A
Coding, Cryptography and Combinatorics (2004) 9783764324292 by
Feng, Keqin -
Birkhauser,
-2004
Dewey: 003.54
N/A
Reasoning Robots: The Art and Science of Programming Robotic Agents (2005) 9781402030680 by
Thielscher, Michael -
Springer,
-2005
Dewey: 629.89251
N/A
Death of Argument: Fallacies in Agent Based Reasoning (2004) 9781402026638 by
Woods, J H -
Springer,
-2004
Dewey: 165
N/A
Applied Probability-Computer Science: The Interface Volume 1 (1982) 9780817630676 by
Disney, Ralph L -
Birkhauser,
-1982
Dewey: 050
N/A
Applied Probability-- Computer Science: The Interface (Softcover Reprint of the Original 1st 1982) 9780817630935 by
Disney, Ralph L -
Birkhauser,
-1982
Dewey: 050
N/A
Applied Probability-Computer Science: The Interface Volume 1: Sponsored by Applied Probability Technical Section College of the Operations Research So 9780817631161 by
Disney, R L -
Birkhauser,
-1983
Dewey: 004.0151
N/A
Graph-Theoretic Approach to Enterprise Network Dynamics (2007) 9780817644857 by
Bunke, Horst -
Birkhauser,
-2006
Dewey: 004.68
N/A
Thirty Five Years of Automating Mathematics (2003) 9781402016561 by
Kamareddine, F D -
Springer,
-2003
Dewey: 004.0151
N/A
N/A
N/A
Iutam Symposium on Nonlinear Analysis of Fracture 9780792343783 by
Willis, J R -
Kluwer Academic Publishers,
-1997
Dewey: 620.1126
N/A