Theoretical Computer Science and General Issues Advanced Research in Computing and Software Science

Logic for Programming, Artificial Intelligence, and Reasoning

20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Editors: Davis, M., Fehnker, A., McIver, A., Voronkov, A. (Eds.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-662-48899-7
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-3-662-48898-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.

The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 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.

Table of contents (43 chapters)

Table of contents (43 chapters)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-662-48899-7
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-3-662-48898-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic for Programming, Artificial Intelligence, and Reasoning
Book Subtitle
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Editors
  • Martin Davis
  • Ansgar Fehnker
  • Annabelle McIver
  • Andrei Voronkov
Series Title
Theoretical Computer Science and General Issues
Series Volume
9450
Copyright
2015
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-662-48899-7
DOI
10.1007/978-3-662-48899-7
Softcover ISBN
978-3-662-48898-0
Edition Number
1
Number of Pages
XV, 640
Number of Illustrations
142 illustrations in colour
Topics