Publication

Titel	Author	Year	Type
Strategies for mechanizing structural induction	Raymond Aubin	1977	Inproceedings
Combinatorics	Kenneth Kunen	1977	Incollection
Distinctive features, categorical perception, and probability learning: Some applications of a neural model	Anderson, J.A. and Silverstein, J.W. and Ritz, S.R. and Jones, R.S.	1977	Article
An introduction to first--order logic	Jon Barwise	1977	Incollection
Engagement -- disengagment and early object experiences	B. Beebe and D. Stern	1977	Incollection
Mathematische Logik mit Informatik-Anwendungen	Bergmann, Eberhard and Noll, Helga	1977	Book
Doctrines in Categorical Logic	A. Kock and G. E. Reyes	1977	Incollection
Elements of Recursion Theory	Herbert B. Enderton	1977	Incollection
Recursion in higher types	Alexander Kechris and Yiannis N. Moschovakis	1977	Incollection
Recursion in Higher Types	Alexander Kechris and Yiannis N. Moschovaks	1977	Incollection
Logic, meaning, and conceptual role	H. Field	1977	Article
Fundamentals of Model Theory	H. Jerome Keisler	1977	Incollection
Consistency results in topology	I. Juhász	1977	Incollection
The syntagmatic--paradigmatic shift revisited: A review of research and theory	Nelson, Katherine	1977	Article
The development of thought	Piaget, Jean	1977	Book
Human Engineering for Applied Natural Language Processing	Hendrix, G.G.	1977	Inproceedings
About the aciom of choice	Thomas J. Jech	1977	Incollection
Homogenous Sets	Michael Morley	1977	Incollection
Theories of finite type related to mathematical practice	Solomon Feferman	1977	Incollection
Concept Learning and the Recognition and Classification of Exemplars	Hayes-Roth, Barbara and Hayes-Roth, Frederic	1977	Article
Knowledge acquisition from structural descriptions	Frederick Hayes-Roth and John McDermott	1977	Inproceedings
Decidable Theories	Michael O. Rabin	1977	Incollection
Natural Kinds	Quine, Willard V.O.	1977	Incollection
A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations	Catriel Beeri and Ronald Fagin and John H. Howard	1977	Inproceedings
Wissenschaftstheorie 1: Grundlagen und Analytische Wissenschaftstheorie	Esser, Hartmut and Klenovits, Klaus and Zehnpfennig, Helmut	1977	Book
> Show next 25 entries (5500 ... )