Detailseite

Dr. Jules Chouquet

Adresse Université d'Orléans
Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) - UR 4022
Rue Léonard de Vinci B.P. 6759
F-45067 Orléans
Frankreich

Projekte

Als Kooperationspartner
- laufende Projekte
  - Berechnungen mit infiniten Daten: Programmextraktion aus Beweisen in einer um (ko)induktive Definitionen erweiterten konstruktiven Logik, die Berechnungsstärke und Anwendungen (Sachbeihilfen)

Servicenavigation

Hauptnavigation

Dr. Jules Chouquet

Zusatzinformationen

Servicenavigation

Hauptnavigation

Dr. Jules Chouquet

Zusatzinformationen

Textvergrößerung und Kontrastanpassung