Mechanising Deduction in the Logics of Practical Reasoning

Información del proyecto

MEDLAR

Identificador del acuerdo de subvención: 3125

Proyecto cerrado

Fecha de inicio 1 Noviembre 1989

Fecha de finalización 31 Julio 1992

Financiado con arreglo a

• European strategic programme (EEC) for research and development in information technologies (ESPRIT), 1987-1992

Coste total

Sin datos

Aportación de la UE

Sin datos

Coordinado por

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Other (1)

TOWARDS THE MEDLAR FRAMEWORK

Autores: CUNNINGHAM J, GABBAY D (IMPERIAL COLLEGE, DEPARTMENT OF COMPUTING, LONDON (GB);MAX-PLANCK INSTITUTE FOR COMPUTER SCIENCE, SAARBRUECKEN (DE))
Publicado en: EXTRACT: ESPRIT 1991 : CONFERENCE PROCEEDINGS (1991) PP. 822-841 (EUR 13853) THE OFFICE FOR OFFICIAL PUBLICATIONS OF THE EUROPEAN COMMUNITIES, L-2985 LUXEMBOURG, 1991, Página(s) 822-841