Mechanising Deduction in the Logics of Practical Reasoning

Informacje na temat projektu

MEDLAR

Identyfikator umowy o grant: 3125

Projekt został zamknięty

Data rozpoczęcia 1 Listopada 1989

Data zakończenia 31 Lipca 1992

Finansowanie w ramach

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

Koszt całkowity

Brak danych

Wkład UE

Brak danych

Koordynowany przez

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Other (1)

TOWARDS THE MEDLAR FRAMEWORK

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