Instituts-Logo Logik in der Informatik
Prof. Dr. Nicole Schweikardt
Humboldt-Logo

André Frochaux

Adresse:   André Frochaux
Johann von Neumann-Haus
Haus 3 / 4. Etage, Raum 421
Rudower Chaussee 25
12489 Berlin (Adlershof)
Heures de consultation:   mardi, de 14 h 00 à 15 h 00, ou
sur rendez-vous
Téléphone: +49-30-2093 3832
E-Mail:
clé de chiffrement
URL: www.informatik.hu-berlin.de/~frochaua/
Dipl.-Inf. André Frochaux
Enseignement
Publications
Talks

snippets of logic

Differents rognures pour illustrer syntaxe et sémantique de logique (updates occasionnels).