所蔵: 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