Search
Lexile Level
AR Level
AR Level
Mathematical Knowledge Management: 4th International Conference, Mkm 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (2006) 9783540314301 by
Kohlhase, Michael -
Springer,
-2006
Dewey: 510.285
N/A
KI 2006: 29th Annual German Conference on Ai, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings (2007) 9783540699118 by
Freksa, Christian -
Springer,
-2007
Dewey: 006.3
N/A
Omdoc -- An Open Markup Format for Mathematical Documents [Version 1.2]: Foreword by Alan Bundy (2006) 9783540378976 by
Kohlhase, Michael -
Springer,
-2006
Dewey: 953.8
N/A
Digitalisierung Von Zivilprozess Und Rechtsdurchsetzung 9783428186440 by
Adrian, Axel -
Duncker & Humblot,
-2022
N/A
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium 9781568811451 by
Kerber, Manfred -
A K PETERS,
-2001
Dewey: 512.0285
N/A
Artificial Intelligence. Ecai 2023 International Workshops: Xai^3, Tactiful, XI-ML, Sedami, Raait, Ai4s, Hydra, Ai4ai, Kraków, Poland, September 30 - 9783031503955 by
Nowaczyk, Slawomir -
Springer,
-2024
N/A
Artificial Intelligence. Ecai 2023 International Workshops: Xai^3, Tactiful, XI-ML, Sedami, Raait, Ai4s, Hydra, Ai4ai, Kraków, Poland, September 30 - 9783031504846 by
Nowaczyk, Slawomir -
Springer,
-2024
N/A
Robust Argumentation Machines: First International Conference, Ratio 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings (2024) 9783031635359 by
Cimiano, Philipp -
Springer,
-2024
N/A