Community Research and Development Information Service - CORDIS

Mechanising Deduction in the Logics of Practical Reasoning

From 1989-11-01 to 1992-07-31

Project details

Total cost:

Not available

EU contribution:

Not available

Coordinated in:

United Kingdom

Objective

Coordinator

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Queens Gate 180
SW7 2BZ LONDON
United Kingdom
See on map
Administrative contact: Jim CUNNINGHAM
Tel.: +44-71-5895111
Fax: +44-71-5818024

Participants

Centre National de la Recherche Scientifique (CNRS)
France
118 ROUTE DE NARBONNE
31062 TOULOUSE
France
See on map
Administrative contact: Luis FARINAS DEL CERRO
Tel.: +33-61556345
Fax: +33-61556258
Institut National Polytechnique de Grenoble
France
46 avenue Félix Viallet
38031 Grenoble
France
See on map
Administrative contact: Ricardo CAFERRA
Tel.: +33-76574659
Fax: +33-76574602
E-mail
J. KEPLER LINZ UNIVERSITAET
Austria
C/O JOHANNES KEPLER UNIVERSITY
4040 LINZ
Austria
See on map
Administrative contact: Jochen PFALZGRAF
Tel.: +43-7236-323146
Fax: +43-7236-333830
MAX-PLANCK-GESELLSCHAFT ZUR FOERDERUNG DER WISSENSCHAFTEN E.V.
Germany
Im Stadtwald
66123 SAARBRUECKEN
Germany
See on map
Administrative contact: Hans Juergen OHLBACH
Tel.: +49-681-3025366
Fax: +49-681-3025401
Office National d'Etudes et de Recherches Aerospatiales - ONERA
France
29, avenue de la Division Leclerc
2320 CHATILLON
France
See on map
Administrative contact: Robert DEMOLOMBE
Tel.: +33-61557062
Fax: +33-61557132
E-mail
TECHNISCHE HOCHSCHULE DARMSTADT
Germany
Alexanderstraße 24
64283 DARMSTADT
Germany
See on map
Administrative contact: Wolfgang BIBEL
Tel.: +49-6151-162100
Fax: +49-6151-165236
E-mail
TECHNISCHE UNIVERSITAET KAISERSLAUTERN
Germany
Erwin Schroedinger Strasse 46
67663 KAISERSLAUTERN
Germany
See on map
Technische Universität München
Germany
85748 Garching bei München
Germany
Administrative contact: Stephan BAYERL
Tel.: +49-89-521098
Fax: +49-
UNIVERSITY OF OSLO
Norway
BLINDERN, 1024
0315 OSLO
Norway
See on map
Administrative contact: Andrew JONES
Tel.: +47-472-856961
Fax: +47-472-856919
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top