عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3540686878
9783540686873
b566705
Automated Deduction -- Cade-13 :
[Book]
13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 - August 3, 1996 Proceedings
edited by M.A. McRobbie, J.K. Slaney.
Berlin, Heidelberg
Springer-Verlag : Springer e-books
1996
Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 1104
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, Symbolic and mathematical.
edited by M.A. McRobbie, J.K. Slaney.
J K Slaney
M A McRobbie
مطالعه متن کتاب [Book]
Y
