Higher-Order Algebra, Logic, and Term Rewriting: First International ...
Jan Heering & Karl Meinke & Bernhard Möller & Tobias Nipkow
The Gates of Mary Magdalene: Gnostic Secrets of a Fairy Tale
Peter Bernhard
Solving Nonlinear Partial Differential Equations with Maple® ...
Carlos Lizárraga-Celaya & Inna Shingareva
Background Paper on President Reagan and the U.S. Department ...
Charlotte Thompson Iserbyt
Immersive 3D Design Visualization
Abhishek Kumar
Readings in Knowledge Representation
Ronald J. Brachman & Hector J. Levesque
Readings in Natural Language Processing
Barbara J. Grosz & Karen Sparck Jones & Hector Joseph Levesque & Bonnie Lynn Webber & Department Of Computer & Information Sciences Bonnie Lynn Webber & Jones Sparck (karen)