Higher-Order Algebra, Logic, and Term Rewriting: First International ...
Jan Heering & Karl Meinke & Bernhard Möller & Tobias Nipkow
Lexical Semantics and Knowledge Representation: First SIGLEX ...
James Pustejovsky & Siglex Workshop & Sabine Bergler
Representing and Intervening: Introductory Topics in the Philosophy ...
Ian Hacking
Differential Equations with Mathematica® - 1993
Martha L. Abell & James P. Braselton
Ancient Hebrew Dictionary: 1000 Verbs and Nouns of the Hebrew ...
Jeff Benner
How to Talk to Anyone
Leil Lowndes