Détail de l'auteur
Auteur THOMAS W |
Documents disponibles écrits par cet auteur (3)

![]()
congrès
11TH INTERNATIONAL WORKSHOP ON COMPUTER SCIENCE LOGIC, 11. COMPUTER SCIENCE LOGIC CSL 97 : LNCS 1414
CSL 97 ; THOMAS W ; NIELSEN M, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 1998![]()
congrès