Logic Programming and Automated Reasoning Image close
Logic Programming and Automated Reasoning
Logic Programming and Automated Reasoning
Show Hide Adult Content
Logic Programming and Automated Reasoning close

Computers & Internet Books:

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

Logic Programming and Automated Reasoning

5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$163.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 $40.75 with Afterpay Learn more

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

Availability

Delivering to:

Estimated arrival:

  • Around 24 Jul - 5 Aug using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Pattern Recognition and Machine Intelligence
$554.00
Pattern Recognition and Machine Intelligence
Paperback / softback
Pre-order - out 11 Aug 2024
Ubiquitous Networking
$146.00
Ubiquitous Networking
Paperback / softback
Pre-order - out 16 Jul 2024
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$196.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 31 Jul 2024
Computer Architecture
$148.00
Computer Architecture
Paperback / softback
Available - Usually ships in 3-4 weeks
Foundations of Intelligent Systems
$170.00
Foundations of Intelligent Systems
Paperback / softback
Pre-order - out 26 Jul 2024
Ubiquitous Networking
$188.00
Ubiquitous Networking
Paperback / softback
Available - Usually ships in 3-4 weeks
Database Systems for Advanced Applications
$314.00
Database Systems for Advanced Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Directions in Human Factors for Interactive Systems by Henry Ledgard
$140.00
Directions in Human Factors for Interactive Systems
by Henry Ledgard ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Vision – ECCV 2022
$314.00
Computer Vision – ECCV 2022
Paperback / softback
Available - Usually ships in 3-4 weeks
Chatbot Research and Design
$188.00
Chatbot Research and Design
Paperback / softback
Available - Usually ships in 3-4 weeks
Collaboration Technologies and Social Computing
$175.00
Collaboration Technologies and Social Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Enterprise Design, Operations, and Computing
$150.00
Enterprise Design, Operations, and Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Trends in Functional Programming
$150.00
Trends in Functional Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Database and Expert Systems Applications
$238.00
Database and Expert Systems Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Recent Trends in Algebraic Development Techniques
$150.00
Recent Trends in Algebraic Development Techniques
Paperback / softback
Available - Usually ships in 3-4 weeks
The Munich Project CIP
$155.00
The Munich Project CIP
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held annually in the former Soviet Union and aimed at bringing together researchers interested in LP and AR. This proceedings contains the full versions of the 24 accepted papers evaluated by at least three referees ensuring a program of highest quality. The papers cover all relevant aspects of LP and AR ranging from theory to implementation and application.
Release date NZ
June 22nd, 1994
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributor
  • Edited by Frank Pfenning
Illustrations
xii, 352 p.
Pages
352
Dimensions
156x234x19
ISBN-13
9783540582168
Product ID
2804153

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 >
Hardware & Operating Systems >
Computer architecture & logic design
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design
Books >
Computers & Internet >
Computer science >
Artificial intelligence