Cargando…

Automation in language translation and theorem proving: some applications of mathematical logic

Detalles Bibliográficos
Autores principales:	Van Scheepen, Francs, Braffort, Paul L
Lenguaje:	eng
Publicado:	Euratom 1968
Materias:	Information Transfer and Management
Acceso en línea:	http://cds.cern.ch/record/236217

Ejemplares similares

First-order logic and automated theorem proving
por: Gries, David, et al.
Publicado: (1990)

Symbolic logic and mechanical theorem proving
por: Chang, Chin-Liang, et al.
Publicado: (1969)

Symbolic logic and mechanical theorem proving
por: Chang Chin Liang, et al.
Publicado: (1973)

European Library Automation Group - 27th Library Systems Seminar : Cross Language Applications and the Web
por: Collective
Publicado: (2004)

Prove it!: how to create a high-performance culture and measurable success
por: Barr, Stacey
Publicado: (2017)

Theorem proving with first-order predicate logic, 3
por: Humpert, Benedikt
Publicado: (1987)

Conditional and preferential logics: proof methods and theorem proving
por: Pozzato, GL
Publicado: (2010)

Automated theorem proving: theory and practice
por: Newborn, Monty
Publicado: (2001)

The logic of questions and answers
por: Belnap, Nuel D, et al.
Publicado: (1976)

Learn the art of logic and persuasion
por: Herring, Jonathan, et al.
Publicado: (2013)

Learn the art of logic and persuasion
por: Herring, Jonathan, et al.
Publicado: (2013)

Dictionary of logical terms and symbols
por: Greenstein, Carol Horn
Publicado: (1978)

Language and information: selected essays on their theory and application
por: Bar-Hillel, Yehoshua
Publicado: (1964)

Six-language dictionary of automation, electronics and scientific instruments: a comprehensive dictionary in English, French, German, Italian, Spanish and Russian
por: Dorian, Angelo Francis
Publicado: (1962)

Format recognition process for MARC records: a logical design
por: American Library Association. Chicago. Information Science and Automation Division
Publicado: (1970)

Language and language teaching: theory and practice
por: Brooks, Nelson
Publicado: (1964)

20th International Conference on Theorem Proving in Higher Order Logics
Publicado: (2007)

CEO logic: how to think and act like a chief executive
por: Johnson, C Ray
Publicado: (1998)

Leadership language
por: Westfall, Chris
Publicado: (2018)

Introduction to mathematical linguistics
por: Wall, Robert
Publicado: (1972)

The mathematics of logic: a guide to completeness theorems and their applications
por: Kaye, Richard W
Publicado: (2007)

The language of technical communication
por: Gallon, Ray
Publicado: (2016)

Formalization of natural languages
por: Kuemmel, Peter
Publicado: (1979)

Mathematical methods in operations research
por: Gue, Ronald L
Publicado: (1968)

Mathematical modeling for business analytics
por: Fox, William P
Publicado: (2017)

The mathematics of bookselling: a monograph
por: Shatzkin, Leonard
Publicado: (1997)

How to read: historical mathematics
por: Wardbaugh, Benjamin
Publicado: (2010)

Translating expertise: the librarian's role in translational research
por: Conte, Marisa L
Publicado: (2016)

Webster's third new international dictionary of the English language: unabridged, with seven language dictionary
por: Collective
Publicado: (1986)

Webster's third new international dictionary of the English language: unabridged, with seven language dictionary
por: Collective
Publicado: (1986)

Webster's third new international dictionary of the English language: unabridged, with seven language dictionary
por: Collective
Publicado: (1986)

Library planning for automation
por: Kent, A
Publicado: (1965)

Managing library automation
por: Harbour, Robin T
Publicado: (1994)

Automated office systems
por: Kupsh, Joyce, et al.
Publicado: (1989)

Some data on CERN
por: CERN Press Office. Geneva
Publicado: (1977)

Language as a cognitive process
por: Winograd, Terry
Publicado: (1983)

Introduction to the mathematics of operations research with mathe
por: Hastings, Kevin J
Publicado: (2006)

Management and mathematics: the practical techniques available
por: Fletcher, Allan, et al.
Publicado: (1964)

A handbook for translators: with special reference to international conference translation
por: Fuller, Frederick
Publicado: (1973)

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
por: Ullrich, Sebastian, et al.
Publicado: (2020)

Cannot write session to /tmp/vufind_sessions/sess_5i8hap6l0b6kkl4q26khlfvivh