عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3540381406
9783540381402
b565847
5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980
[Book]
edited by Wolfgang Bibel, Robert Kowalski.
Berlin, Heidelberg
Springer-Verlag : Springer e-books
1980
Lecture Notes in Computer Science, 87
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.
Computer Science
Computer science.
Mathematical Logic and Formal Languages
edited by Wolfgang Bibel, Robert Kowalski.
Robert A Kowalski
Wolfgang Bibel
مطالعه متن کتاب [Book]
Y
