From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory (Studies in Linguistics and Philosophy)
by Hans Kamp,U. Reyle
ISBN 13: 9780792324034
Format: Hardcover (740 pages) Publisher: Springer Published: 31 Jul 1993
Save for later
Power Algebras over Semirings: With Applications in Mathematics and Computer Science (Mathematics and Its Applications)
by Jonathan Samuel Golan
ISBN 13: 9780792358343
Format: Hardcover (203 pages) Publisher: Springer Published: 31 Jul 1999
Emerging Memories: Technologies and Trends
by Betty Prince
ISBN 13: 9780792376842
Format: Hardcover (296 pages) Publisher: Springer Published: 28 Feb 2002
Objects for Concurrent Constraint Programming (The Springer International Series in Engineering and Computer Science)
by Martin Henz
ISBN 13: 9780792380382
Format: Hardcover (200 pages) Publisher: Springer Published: 31 Oct 1997
Fault Covering Problems in Reconfigurable VLSI Systems (The Springer International Series in Engineering and Computer Science)
by Ran Libeskind-Hadas,Nany Hasan,Jason Cong,Philip McKinley,C.L. Liu
ISBN 13: 9780792392316
Format: Hardcover (144 pages) Publisher: Springer Published: 30 Apr 1992
Information Retrieval: Algorithms and Heuristics (The Springer International Series in Engineering and Computer Science)
by David A. Grossman,Ophir Frieder
ISBN 13: 9780792382713
Format: Hardcover (276 pages) Publisher: Springer Published: 30 Sep 1998 Other Format: Paperback
Searching Multimedia Databases by Content (Advances in Database Systems)
by Christos Faloutsos
ISBN 13: 9780792397779
Format: Hardcover (168 pages) Publisher: Springer Published: 30 Sep 1996
Machine Learning for Multimodal Interaction: Second International Workshop, MLMI 2005, Edinburgh, UK, July 11-13, 2005, Revised Selected Papers ... Applications, incl. Internet/Web, and HCI)
by
ISBN 13: 9783540325499
Format: Paperback (503 pages) Publisher: Springer Published: 13 Feb 2006
ECSCW 2005: Proceedings of the Ninth European Conference on Computer-Supported Cooperative Work, 18-22 September 2005, Paris, France
ISBN 13: 9781402040221
Format: Hardcover (489 pages) Publisher: Springer Published: 14 Sep 2005
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540372158
Format: Paperback (620 pages) Publisher: Springer Published: 10 Aug 2006
Machine Learning Challenges: Evaluating Predictive Uncertainty, Visual Object Classification, and Recognizing Textual Entailment, First Pascal Machine ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540334279
Format: Paperback (475 pages) Publisher: Springer Published: 11 May 2006
Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint: 4th International Workshop on Attention in Cognitive ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540773429
Format: Paperback (497 pages) Publisher: Springer Published: 11 Jan 2008