Primjerci: Logic for programming, artificial intelligence, and reasoning :

Spremljeno u:

Bibliografski detalji
Autor kompanije:	International conference on Logic for Programming, Artificial Intelligence, and Reasoning :Almaty, Kazakhstan
Daljnji autori:	Vardi, Moshe Ya'akov, 1954- (Voditelj izdanja), Voronkov, Andrei, 1959- (Voditelj izdanja)
Format:	Livre numérique
Jezik:	Anglais
Izdano:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serija:	Lecture notes in computer science. Lecture notes in artificial intelligence 2850
Teme:	Génie logiciel Informatique Ordinateurs Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Actes de congrès
Online pristup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Bilješka:	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, artificial intelligence, and reasoning, 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, proceedings, Moshe Y. Vardi, Andrei Voronkov (eds.), Berlin, Springer, 2003, 1 vol. (XIII-436 p.), Lecture notes in computer science, 3-540-20101-7 • Logic for Programming, Artificial Intelligence, and Reasoning, Texte imprimé, 9783662197622