Cover Image

Learning language in logic /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Cussens, James, Džeroski, Sašo, 1968-
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, 2000.
Series:	Lecture notes in computer science ; 1925. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Computer logic. Natural language processing (Computer science) Logic, Symbolic and mathematical. logique induction. traitement langage naturel. logique formelle. désambiguïsation. apprentissage machine. Logique informatique. Traitement automatique des langues naturelles. Logique symbolique et mathématique. Natuurlijke taal. Logisch programmeren. Langage naturel, Traitement du (informatique) Linguistische Datenverarbeitung. Bled <1999>. Electronic books. Kongress > Bled > 1999. Kongress.
Online Access:	Connect to the full text of this electronic book

Similar Items

Something to reckon with : the logic of terms /
by: Englebretsen, George
Published: (1996)

Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Published: (1987)

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Published: (1982)

A survey of symbolic logic,
by: Lewis, Clarence Irving, 1883-1964
Published: (1918)

Relation, formule logique, compacité, complétude / par Roland Fraïssé.
by: Fraïssé, Roland
Published: (1967)

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Published: (1986)

Nomological statements and admissible operations /
Published: (1954)

Lectures on the logic of computer programming /
by: Manna, Zohar
Published: (1980)

ACM transactions on computational logic.
Published: (2000)

The norm of truth : an introduction to the philosophy of logic /
by: Engel, Pascal, 1954-
Published: (1991)

La logique moderne.
by: Chauvineau, Jean
Published: (1957)

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Published: (1983)

Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (1983)

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Published: (1989)

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
Published: (1989)

Mechanical logic in three-dimensional space /
by: Auletta, Gennaro
Published: (2013)

Logicism renewed : logical foundations for mathematics and computer science, lecture notes in logic 23 /
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)

The Notre Dame lectures /
Published: (2005)

Collected works /
by: Gödel, Kurt,4eauthor
Published: (2023)

A survey of mathematical logic /
Published: (1963)

Elements of mathematical logic (Model theory)
by: Kreisel, Georg, et al.
Published: (1967)

Realizability : an introduction to its categorical side /
by: Oosten, Jaap van
Published: (2008)

Proceedings of the Second Scandinavian Logic Symposium
Published: (1971)

Matrix logic /
by: Stern, August, 1945-
Published: (1988)

Foundations without foundationalism : a case for second-order logic /
by: Shapiro, Stewart, 1951-
Published: (1991)

Ancient formal logic /
by: Bochenski, Joseph M., 1902-1995
Published: (1951)

Handbook of mathematical logic /
Published: (1977)

Formal systems and recursive functions /
Published: (1965)

Annals of pure and applied logic.

Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
Published: (2001)

Intensional and higher-order modal logic : with applications to Montague semantics /
by: Gallin, Daniel
Published: (1975)

Constructive order types
by: Crossley, John N.
Published: (1969)

Handbook of logic and language /
Published: (1997)

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Published: (1982)

Hanbdook of logic in computer science.
Published: (2020)

Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77 /
Published: (1978)

Fuzzy logic and mathematics : a historical perspective /
by: Bělohlávek, Radim
Published: (2017)

Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 /
Published: (2004)

Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 /
Published: (1970)