5th International Conference, ALP'96 Aachen, Germany, September 25-27, 1996 Proceedings
edited by Michael Hanus, Mario Rodríguez-Artalejo.
Berlin, Heidelberg
Springer-Verlag : Springer e-books
1996
Lecture Notes in Computer Science, 1139
L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques.
Artificial intelligence.
Computer science.
Logic design.
edited by Michael Hanus, Mario Rodríguez-Artalejo.