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  
Computer Programming

Logic for Programming, Artificial Intelligence, and Reasoning

14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$158.00
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
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.50 with Afterpay Learn more

6 weekly interest-free payments of $26.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 4-14 June using International Courier

Explore more Lecture Notes in Artificial Intelligence

See all products in this series

Advances in Knowledge Discovery and Data Mining
$316.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 7 Jun 2024
Trends and Applications in Knowledge Discovery and Data Mining
$266.00
Trends and Applications in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 5 Jun 2024
Advances in Brain Inspired Cognitive Systems
$204.00
Advances in Brain Inspired Cognitive Systems
Paperback / softback
Pre-order - out 29 May 2024
Belief Functions: Theory and Applications
$189.00
Belief Functions: Theory and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Statistical Language and Speech Processing
$201.00
Statistical Language and Speech Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
AI*IA 2003: Advances in Artificial Intelligence
$175.00
AI*IA 2003: Advances in Artificial Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Intelligent Virtual Agents
$156.00
Intelligent Virtual Agents
Paperback / softback
Available - Usually ships in 3-4 weeks
Statistical Language and Speech Processing
$150.00
Statistical Language and Speech Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Biomimetic and Biohybrid Systems
$155.00
Biomimetic and Biohybrid Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
New Frontiers in Mining Complex Patterns
$149.00
New Frontiers in Mining Complex Patterns
Paperback / softback
Available - Usually ships in 3-4 weeks
Natural Language Processing and Chinese Computing
$265.00
Natural Language Processing and Chinese Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
New Frontiers in Artificial Intelligence
$150.00
New Frontiers in Artificial Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Human-Inspired Computing and its Applications
$157.00
Human-Inspired Computing and its Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Augmented Cognition. Enhancing Cognition and Behavior in Complex Human Environments
$150.00
Augmented Cognition. Enhancing Cognition and Behavior in Complex...
Paperback / softback
Available - Usually ships in 3-4 weeks
Machine Learning and Knowledge Discovery in Databases: Research Track
$291.00
Machine Learning and Knowledge Discovery in Databases: Research Track
Paperback / softback
Available - Usually ships in 3-4 weeks
PRICAI 2021: Trends in Artificial Intelligence
$240.00
PRICAI 2021: Trends in Artificial Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
Release date NZ
October 8th, 2007
Audience
  • Professional & Vocational
Contributors
  • Edited by Andrei Voronkov
  • Edited by Nachum Dershowitz
Illustrations
XIII, 564 p.
Pages
564
Dimensions
156x234x29
ISBN-13
9783540755586
Product ID
2496188

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 >
Computer Programming
Books >
Computers & Internet >
Computer programming / software development
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