Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming

Buy Now

Logic for Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings (Paperback, 2007 ed.) Loot Price: R1,485
Discovery Miles 14 850
Repayment Terms: R139 pm x 12*
Add to cart
Logic for Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007, Yerevan, Armenia,...

Logic for Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings (Paperback, 2007 ed.)

Nachum Dershowitz, Andrei Voronkov

Series: Lecture Notes in Artificial Intelligence, 4790

 (sign in to rate)
Loot Price R1,485 Discovery Miles 14 850 | Repayment Terms: R139 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

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, October 15-19, 2007.

The 36 revised full papers presented together with 15 short papers and 3 invited talks were carefully reviewed and 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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Artificial Intelligence, 4790
Release date: October 2007
First published: 2007
Editors: Nachum Dershowitz • Andrei Voronkov
Dimensions: 235 x 155 x 29mm (L x W x T)
Format: Paperback
Pages: 564
Edition: 2007 ed.
ISBN-13: 978-3-540-75558-6
Categories: Books > Computing & IT > Computer programming > General
Promotions
LSN: 3-540-75558-6
Barcode: 9783540755586

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Problem Solving with C++ - Global Edition (Paperback, 10th edition): Walter Savitch
Problem Solving with C++ - Global…
Walter Savitch Paperback R2,548 Discovery Miles 25 480
Introducing Delphi Programming - Theory Through Practice (Paperback, 4th Edition): John Barrow, Linda Miller, Katherine Malan,...
Introducing Delphi Programming - Theory…
John Barrow, Linda Miller, … Paperback  (1)
 R751 Discovery Miles 7 510
Java Programming (Paperback, 10th Edition): Joyce Farrell
Java Programming
Joyce Farrell Paperback R1,380 R1,283 Discovery Miles 12 830
Programming Logic & Design (Paperback, 10th edition): Joyce Farrell
Programming Logic & Design
Joyce Farrell Paperback R780 Discovery Miles 7 800
C++ Programming - Program Design Including Data Structures (Paperback, 8th edition): D. Malik
C++ Programming - Program Design…
D. Malik Paperback R1,700 R1,570 Discovery Miles 15 700
Program Construction - Calculating Implementations from Specifications (Paperback): Roland Backhouse
Program Construction - Calculating…
Roland Backhouse Paperback R1,460 Discovery Miles 14 600
Clean Architecture - A Craftsman's Guide to Software Structure and Design (Paperback): Robert Martin
Clean Architecture - A Craftsman's Guide…
Robert Martin Paperback  (1)
 R860 R549 Discovery Miles 5 490
Beginner's Step-by-Step Coding Course - Learn Computer Programming the Easy Way (Hardcover): Dk
Beginner's Step-by-Step Coding Course…
Dk Hardcover R500 R446 Discovery Miles 4 460
Programming Logic & Design, Comprehensive (Paperback, 9th edition): Joyce Farrell
Programming Logic & Design…
Joyce Farrell Paperback R1,310 R1,216 Discovery Miles 12 160
Hardware Accelerator Systems for Artificial Intelligence and Machine Learning, Volume 122 (Hardcover): Shiho Kim, Ganesh...
Hardware Accelerator Systems for…
Shiho Kim, Ganesh Chandra Deka Hardcover R3,950 Discovery Miles 39 500
Dark Silicon and Future On-chip Systems, Volume 110 (Hardcover): Suyel Namasudra, Hamid Sarbazi-Azad
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R3,940 Discovery Miles 39 400
Temporal Data Mining via Unsupervised Ensemble Learning (Paperback, UK ed.): Yun Yang
Temporal Data Mining via Unsupervised…
Yun Yang Paperback R1,173 Discovery Miles 11 730

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners