المقتنيات: Logic for programming and automated reasoning :

$Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings$

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Parigot, Michel, 1956-...., mathématicien
مؤلف مشترك:	International conference on Logic for Programming and Automated Reasoning (مؤلف)
مؤلفون آخرون:	Voronkov, Andrei, 1959- (مدير النشر)
التنسيق:	Livre numérique
اللغة:	Anglais
منشور في:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
سلاسل:	Lecture notes in computer science. Lecture notes in artificial intelligence 1955
الموضوعات:	Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Programmation logique Actes de congrès
الوصول للمادة أونلاين:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
ملاحظة:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic for programming and automated reasoning, 7th international conference, LPAR 2000, Michel Parigot, Andrei Voronkov (Eds.), 2000, New York, Springer, 1 vol. (XIII-486 p.), Lecture notes in computer science, 3-540-41285-9 • Logic for Programming and Automated Reasoning, Texte imprimé, 9783662162378