Logic for Programming, Artificial Intelligence, and Reasoning Image close
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
Show Hide Adult Content
Logic for Programming, Artificial Intelligence, and Reasoning close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Logic for Programming, Artificial Intelligence, and Reasoning

18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$140.99
RRP:
$159.95 save $18.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $35.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 12-24 June using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Foundations of Software Science and Computational Structures Save $47
$155.99
$203.95
Foundations of Software Science and Computational Structures
Paperback / softback
Available - Usually ships in 3-4 weeks
Tools and Algorithms for the Construction and Analysis of Systems Save $66
$158.99
$225.95
Tools and Algorithms for the Construction and Analysis of Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Linguistics and Intelligent Text Processing
$276.99
Computational Linguistics and Intelligent Text Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithms - ESA 2007
$278.99
$280.95
Algorithms - ESA 2007
Paperback / softback
Available - Usually ships in 3-4 weeks
Numerical Methods and Applications
$277.99
$280.95
Numerical Methods and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Development in Language Theory Save $8
$142.99
$151.95
Development in Language Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2011
$277.99
Computational Science and Its Applications - ICCSA 2011
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Foundations of Computer Science 2012
$301.99
Mathematical Foundations of Computer Science 2012
Paperback / softback
Available - Usually ships in 3-4 weeks
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
$124.99
Evolutionary Computation, Machine Learning and Data Mining in...
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Linguistics and Intelligent Text Processing Save $33
$144.99
$178.95
Computational Linguistics and Intelligent Text Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic, Rationality, and Interaction
$138.99
Logic, Rationality, and Interaction
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Modeling and Analysis of Timed Systems
$136.99
Formal Modeling and Analysis of Timed Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Automata, Languages and Programming
$274.99
Automata, Languages and Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2011
$276.99
Computational Science and Its Applications - ICCSA 2011
Paperback / softback
Available - Usually ships in 3-4 weeks
Cellular Automata Save $48
$136.99
$185.95
Cellular Automata
Paperback / softback
Available - Usually ships in 3-4 weeks
Integration of AI and OR Techniques in Constraint Programming
$140.99
$145.95
Integration of AI and OR Techniques in Constraint Programming
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 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.
Release date Australia
February 24th, 2012
Audience
  • Professional & Vocational
Contributors
  • Edited by Andrei Voronkov
  • Edited by Nikolaj Bjorner
Illustrations
XI, 446 p.
Pages
446
Dimensions
155x235x23
ISBN-13
9783642287169
Product ID
19797916

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence