Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS
Content archived on 2024-04-16

Mechanising Deduction in the Logics of Practical Reasoning

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

TOWARDS THE MEDLAR FRAMEWORK

Author(s): CUNNINGHAM J, GABBAY D (IMPERIAL COLLEGE, DEPARTMENT OF COMPUTING, LONDON (GB);MAX-PLANCK INSTITUTE FOR COMPUTER SCIENCE, SAARBRUECKEN (DE))
Published 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, Page(s) 822-841

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0