Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : proceedings

Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 proceedings

This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : McMillan Ken (Directeur de publication), Middeldorp Aart (Directeur de publication), Voronkov Andrei (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov.
Publié : Berlin, Heidelberg : Springer Berlin Heidelberg , [20..]
Cham : Springer Nature
Collection : Theoretical computer science and general issues (Online)
Accès en ligne : Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr
Note sur l'URL : Accès sur la plateforme de l'éditeur
Accès sur la plateforme de l'éditeur (Springer)
Accès sur la plateforme Istex
Condition d'utilisation et de reproduction : 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
Sujets :
Computer Science
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering
Programming Techniques
Artificial Intelligence.
Formal Languages and Automata Theory
Computer Science Logic and Foundations of Programming
Compilers and Interpreters
Documents associés : Autre format: Logic for Programming, Artificial Intelligence, and Reasoning
Autre format: Logic for Programming, Artificial Intelligence, and Reasoning
Description
Résumé : This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields and to exchange ideas in a scientifically emerging part of the world.
ISBN : 978-3-642-45221-5
DOI : 10.1007/978-3-642-45221-5