Descripción: Logic for programming, artificial intelligence, and reasoning :

Guardado en:

Detalles Bibliográficos
Autor Corporativo:	International conference on Logic for Programming, Artificial Intelligence, and Reasoning :Tbilisi
Otros Autores:	Baaz, Matthias, 1960- (Director de publicación), Voronkov, Andrei, 1959- (Director de publicación)
Formato:	Livre numérique
Lenguaje:	Anglais
Publicado:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Colección:	Lecture notes in computer science. Lecture notes in artificial intelligence 2514
Materias:	Génie logiciel Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Programmation logique Actes de congrès
Acceso en línea:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	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, 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, proceedings, Matthias Baaz, Andrei Voronkov (eds.), Berlin, Springer, 2002, 1 vol. (XIII-463 p.), Lecture notes in computer science, 3-540-00010-0 • Logic for Programming, Artificial Intelligence, and Reasoning, Texte imprimé, 9783662178072

Descripción
Notas:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540360780 (PDF)
ISSN:	1611-3349 2945-9141
Acceso:	Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017