Mechanising Deduction in the Logics of Practical Reasoning

Informazioni relative al progetto

MEDLAR

ID dell’accordo di sovvenzione: 3125

Progetto chiuso

Data di avvio 1 Novembre 1989

Data di completamento 31 Luglio 1992

Finanziato da

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

Costo totale

Nessun dato

Contributo UE

Nessun dato

Coordinato da

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Other (1)

TOWARDS THE MEDLAR FRAMEWORK

Autori: CUNNINGHAM J, GABBAY D (IMPERIAL COLLEGE, DEPARTMENT OF COMPUTING, LONDON (GB);MAX-PLANCK INSTITUTE FOR COMPUTER SCIENCE, SAARBRUECKEN (DE))
Pubblicato in: EXTRACT: ESPRIT 1991 : CONFERENCE PROCEEDINGS (1991) PP. 822-841 (EUR 13853) THE OFFICE FOR OFFICIAL PUBLICATIONS OF THE EUROPEAN COMMUNITIES, L-2985 LUXEMBOURG, 1991, Pagina/e 822-841