Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

Mechanising Deduction in the Logics of Practical Reasoning

Desde 1989-11-01 hasta 1992-07-31

Detalles del proyecto

Coste total:

No disponible

Aportación de la UE:

No disponible

Objetivo

Participantes

Centre National de la Recherche Scientifique (CNRS)
France
118 ROUTE DE NARBONNE
31062 TOULOUSE
France
See on map
Contacto administrativo: 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
Contacto administrativo: Ricardo CAFERRA
Tel.: +33-76574659
Fax: +33-76574602
Correo electrónico
J. KEPLER LINZ UNIVERSITAET
Austria
C/O JOHANNES KEPLER UNIVERSITY
4040 LINZ
Austria
See on map
Contacto administrativo: 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
Contacto administrativo: 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
Contacto administrativo: Robert DEMOLOMBE
Tel.: +33-61557062
Fax: +33-61557132
Correo electrónico
TECHNISCHE HOCHSCHULE DARMSTADT
Germany
Alexanderstraße 24
64283 DARMSTADT
Germany
See on map
Contacto administrativo: Wolfgang BIBEL
Tel.: +49-6151-162100
Fax: +49-6151-165236
Correo electrónico
TECHNISCHE UNIVERSITAET KAISERSLAUTERN
Germany
Erwin Schroedinger Strasse 46
67663 KAISERSLAUTERN
Germany
See on map
Contacto administrativo: SIEHMANN
Tel.: +49-631-2052895
Fax: +49-
Technische Universität München
Germany
85748 Garching bei München
Germany
Contacto administrativo: Stephan BAYERL
Tel.: +49-89-521098
Fax: +49-
UNIVERSITY OF OSLO
Norway
BLINDERN, 1024
0315 OSLO
Norway
See on map
Contacto administrativo: Andrew JONES
Tel.: +47-472-856961
Fax: +47-472-856919
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba