Community Research and Development Information Service - CORDIS

Mechanising Deduction in the Logics of Practical Reasoning

From 1992-07-24 to 1995-07-23

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
International Computers Ltd (ICL)
United Kingdom
ICL House 1 High Street Putney
SW15 1SW London
United Kingdom
Administrative contact: Edward BABB
Tel.: +44-344-424842
Fax: +44-344-860410
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-165326
E-mail
Technische Universitaet Muenchen
Germany
Arcisstrasse 21
80333 Muenchen
Germany
See on map
Administrative contact: Bertram FRONHOFER
Tel.: +49-89-21052031
Fax: +49-8952-6502
UNIVERSITA DEGLI STUDI DI TORINO
Italy
Corso Svizzera 185
10149 TORINO
Italy
See on map
Administrative contact: Alberto MARTELLI
Tel.: +39-11-7712002
Fax: +39-11-751603
UNIVERSITY OF OSLO
Norway
BLINDERN, 1053
0316 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