Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

Mechanising Deduction in the Logics of Practical Reasoning

De 1989-11-01 à 1992-07-31

Détails concernant le projet

Coût total:

Non disponible

Contribution de l'UE:

Non disponible

Coordonné à/au(x)/en:

United Kingdom

Objectif

Coordinateur

IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
United Kingdom
Queens Gate 180
SW7 2BZ LONDON
United Kingdom
See on map
Contact administratif: Jim CUNNINGHAM
Tél.: +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
Contact administratif: Luis FARINAS DEL CERRO
Tél.: +33-61556345
Fax: +33-61556258
Institut National Polytechnique de Grenoble
France
46 avenue Félix Viallet
38031 Grenoble
France
See on map
Contact administratif: Ricardo CAFERRA
Tél.: +33-76574659
Fax: +33-76574602
E-mail
J. KEPLER LINZ UNIVERSITAET
Austria
C/O JOHANNES KEPLER UNIVERSITY
4040 LINZ
Austria
See on map
Contact administratif: Jochen PFALZGRAF
Tél.: +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
Contact administratif: Hans Juergen OHLBACH
Tél.: +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
Contact administratif: Robert DEMOLOMBE
Tél.: +33-61557062
Fax: +33-61557132
E-mail
TECHNISCHE HOCHSCHULE DARMSTADT
Germany
Alexanderstraße 24
64283 DARMSTADT
Germany
See on map
Contact administratif: Wolfgang BIBEL
Tél.: +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
Contact administratif: Stephan BAYERL
Tél.: +49-89-521098
Fax: +49-
UNIVERSITY OF OSLO
Norway
BLINDERN, 1024
0315 OSLO
Norway
See on map
Contact administratif: Andrew JONES
Tél.: +47-472-856961
Fax: +47-472-856919