Search
Lexile Level
AR Level
AR Level
Rewriting and Typed Lambda Calculi: Joint International Conferences, Rta and Tlca 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, 9783319089171 by
Dowek, Gilles -
Springer,
-2014
Dewey: 004.0151
N/A
Automated Reasoning: 4th International Joint Conference, Ijcar 2008, Sydney, Nsw, Australia, August 12-15, 2008, Proceedings (2008) 9783540710691 by
Armando, Alessandro -
Springer,
-2008
Dewey: 006.333
N/A
Proofs and Algorithms: An Introduction to Logic and Computability (2011) 9780857291202 by
Dowek, Gilles -
Springer,
-2011
Dewey: 005.131
N/A
Introduction to the Theory of Programming Languages (2011) 9780857290755 by
Dowek, Gilles -
Springer,
-2010
Dewey: 005.13
N/A
Age of Algorithms 9781108484572 by
Abiteboul, Serge -
Cambridge University Press,
-2020
Dewey: 518.1
N/A
Principles of Programming Languages (2009) 9781848820319 by
Dowek, Gilles -
Springer,
-2009
Dewey: 005.1
N/A
Computation, Proof, Machine 9780521118019 by
Dowek, Gilles -
Cambridge University Press,
-2015
Dewey: 510.9
N/A
Computation, Proof, Machine 9780521133777 by
Dowek, Gilles -
Cambridge University Press,
-2015
Dewey: 510.9
N/A
Age of Algorithms 9781108745420 by
Abiteboul, Serge -
Cambridge University Press,
-2020
Dewey: 518.1
N/A
Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings (1999) 9783540664635 by
Bertot, Yves -
Springer,
-1999
Dewey: 004.015113
N/A
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 1995. Selected Papers (1996) 9783540612544 by
Dowek, Gilles -
Springer,
-1996
Dewey: 511.3
N/A