Publication

Titel	Author	Year	Type
The logic of topoi	Michael P. Fourman	1977	Incollection
The Logical Basis for Computer Programming: Deductive Systems	Manna, Zohar and Waldinger, Richard	1990	Book
The Logical Basis for Computer Programming: Deductive Reasoning	Manna, Zohar and Waldinger, Richard	1985	Book
The Logic of Time. A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse	Johan van Benthem	1991	Book
The Logic of Scientific Discovery	K.R. Popper	1959	Book
The Logic of Partial Information	{Nait Abdallah}	1995	Book
The Logic of Frames	Hayes, Patrick J.	1985	Incollection
The logic of frames	Hayes	1979	Incollection
The Logic of Conditionals	Ernest W. Adams	1975	Book
The Logic of Cognitive Action	Johan van Benthem	1993	Inproceedings
The Logic of Activation Functions	Williams, R. J.	1989	Incollection
The LEDA User Manual -- Version 3.5.1.	Kurt Mehlhorn and Näher, Stefan and Christian Uhrug	1997	Manual
The learning theory of Piaget and Inhelder	Gallagher, J. M. and Reid, D. K.	1981	Book
The language of thought.	Fodor, J. A.	1975	Book
The Knowledge Level of a {KBMS}	Ron Brachman and Hector Levesque	1986	Incollection
The Knowledge Level	Newell, Allen	1982	Article
The Knowledge Acquisition Grid: a Method for Training Knowledge Engineers	LaFrance, Marianne	February 1987	Article
The Kernel Trick for Distances	Schölkopf, Bernhard	2001	Inproceedings
The Kernel Trick for Distances	Schölkopf, Bernhard	2000	Techreport
The Justification of Logical Theories Based on Data Compression	A.Srinivasan and S. Muggleton and M. Bain	1993	Article
The Isabelle Reference Manual	L.C. Paulson	1992	Manual
The interpretation of visual motion	Ullman, S.	1979	Book
The Intelligent Hand: An Experimental approach to Human Object Recognition and Implications for Robotic Design	Susan J. Lederman	1993	Inproceedings
The Instructible Production System: A Retrospective Analysis	Rychener, Michael D.	1983	Incollection
The InfoLayer - A Simple Knowledge Management System Put To Use in Academica	Stefan Haustein and Katharina Morik and Jörg Pleumann	2003	Inproceedings
> Show next 25 entries (500 ... )