SearchTitlesCreatorsDatesPhrases

1951-1967 1968-1972 1973-1974 1975 1976 1977 1978 1979 1980-1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002-Circa 13200000
1977open this document and view contents Identification of formal languages - R. Wiehagen
open this document and view contents SISP/1, an interactive system able to synthesize functions from examples - J. P. Jouannaud and T. P. Treuil
open this document and view contents A few results on the complexity of classes of identifiable recursive function sets - R. Klette
open this document and view contents On Limit Identification of Minimal Gödel Numbers for Functions from Enumerable Classes - E. B. Kinber
open this document and view contents A note on the k-tail method of tree grammar inference - J. M. Brayer and K. S. Fu
open this document and view contents Zur Untersuchung von Abstrakten Interaktiven Erkennungssystemen - H. Jung
open this document and view contents Rekursionstheoretische Charakterisierung von erkennbaren Klassen rekursiver Funktionen - R. Wiehagen and H. Jung
open this document and view contents Grammar enumeration and inference - R. M. Wharton
open this document and view contents Induction, Pure and Simple - P. Kugel
open this document and view contents Query-by-Example: a data base language - M. Zloof
open this document and view contents A class of synthesizeable LISP programs - D. R. Smith
open this document and view contents An Adaptive Optimal Controller for Discrete-Time Markov Environments - I. H. Witten
open this document and view contents Syntactic Pattern Recognition, Applications - K. S. Fu
open this document and view contents Maximum-likelihood from Incomplete Data via the EM Algorithm - A. P. Dempster, N. M. Laird and D. B Rubin
open this document and view contents Probabilistic Program Synthesis - K. Podnieks
open this document and view contents Total complexity and the inference of best programs - J. A. Feldman and P. Shields
open this document and view contents The hierarchical synthesis of LISP scanning functions - A. W. Biermann and D. R. Smith
open this document and view contents On the inference of optimal descriptions - R. Daley
open this document and view contents Inference of finite-state probabilistic grammars - F. J. Maryanski and T. L. Booth
open this document and view contents Limit Identification of Minimal Gödel Numbers - R. Freivalds and E. B. Kinber
open this document and view contents Algorithms for producing grammars from sample derivations: a common problem of formal language theory and developmental biology - H. Feliciangeli and G. Herman
open this document and view contents Inductive Inference of Automata, Functions and Programs - J. M. Barzdin
open this document and view contents On a Theory of Inductive Inference - E. B. Kinber
Januaryopen this document and view contents A methodology for LISP program construction from examples - P. D. Summers
Augustopen this document and view contents Version Spaces: A Candidate Elimination Approach to Rule Learning - T. M. Mitchell