|
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 ... )
|
|
|