Publication

Titel Author Year Type
Maximum-likelihood from incomplete data via the {EM} algorithm A. P. Dempster and N. M. Laird and D. B. Rubin 1977 Article
Model Completeness Angus Macintyre 1977 Incollection
Semantics Lyons, John 1977 Book
Descriptive Set Theory: Projective Sets Donald A. Martin 1977 Incollection
Epistemological problems of artificial intelligence J. McCarthy 1977 Inproceedings
Martin's Axiom Mary Ellen Rudin 1977 Incollection
A Structure for Plans and Behavior E.D. Sacerdoti 1977 Book
Scripts, plans, goals, and understanding Schank, R. and Abelson, R. A. 1977 Book
Proof Theory: Some Applications of Cut--Elimination Helmut Schwichtenberg 1977 Incollection
Degrees of Unsolvability: A Survey of Results Stephen G. Simpson 1977 Incollection
$\alpha$--recursion theory Richard A. Shore 1977 Incollection
The Incompleteness Theorems C. Smorynski 1977 Incollection
Axioms of set theory J. R. Shoenfield 1977 Incollection
{C}lusteranalyse Steinhausen, Detlev and Langer, Klaus 1977 Book
Infinitesimal Analysis of Curves and Surfaces K. D. Stroyan 1977 Incollection
Admissible Sets and Infinitary Logic M. Makkai 1977 Incollection
Herbrand's Theorem and Gentzen's Notion of a Direct Proof Richard Statman 1977 Incollection
Forward Resoning and Dependancy-Directed Backtracking in a System for Computer-Aided Circuit Analysis Stallman, R.M. and Sussman, G.J. 1977 Article
Ultraproducts for algebraists Paul C. Eklof 1977 Incollection
Analysis of effectiveness of retrieval in clustered files Yu, C. T. and Luk, W. S. 1977 Article
Features of similarity Tversky, A. 1977 Article
Semantic Macro-structures and Knowledge Frames in Discourse Comprehension T.A. van Dijk 1977 Incollection
Aspects of Constructive Mathematics A. S. Troelstra 1977 Incollection
Induction of relational productions in the presence of background information Steven A. Vere 1977 Inproceedings
On structural risk minimization or overall risk in a problem of pattern recognition V. Vapnik and A. Sterin 1977 Article
> Show next 25 entries (225 ... )