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

Buy Now

Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings (Paperback, 2012) Loot Price: R1,587
Discovery Miles 15 870
Repayment Terms: R149 pm x 12*
Add to cart
Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Merida, Venezuela,...

Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings (Paperback, 2012)

Nikolaj Bjorner, Andrei Voronkov

Series: Theoretical Computer Science and General Issues, 7180

 (sign in to rate)
Loot Price R1,587 Discovery Miles 15 870 | Repayment Terms: R149 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Theoretical Computer Science and General Issues, 7180
Release date: February 2012
First published: 2012
Editors: Nikolaj Bjorner • Andrei Voronkov
Dimensions: 235 x 155 x 23mm (L x W x T)
Format: Paperback
Pages: 446
Edition: 2012
ISBN-13: 978-3-642-28716-9
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Computer programming > Programming languages > General
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 3-642-28716-6
Barcode: 9783642287169

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,511 Discovery Miles 25 110
C++ Programming - Program Design Including Data Structures (Paperback, 8th edition): D. Malik
C++ Programming - Program Design…
D. Malik Paperback R1,660 R1,485 Discovery Miles 14 850
C++ How to Program: Horizon Edition (Paperback, 8th edition): Harvey Deitel, Paul Deitel
C++ How to Program: Horizon Edition
Harvey Deitel, Paul Deitel Paperback R1,861 Discovery Miles 18 610
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 R4,084 Discovery Miles 40 840
FORTRAN 90 for Scientists and Engineers (Paperback): Brian Hahn
FORTRAN 90 for Scientists and Engineers
Brian Hahn Paperback R1,393 Discovery Miles 13 930
Java How to Program, Late Objects, Global Edition (Paperback, 11th edition): Paul Deitel, Harvey Deitel
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500
Advanced Visual Basic 6 - Power Techniques for Everyday Programs (Paperback): Matthew Curland, Gary Clarke
Advanced Visual Basic 6 - Power…
Matthew Curland, Gary Clarke Paperback R1,304 Discovery Miles 13 040
Prolog Programming for Artificial Intelligence (Paperback, 4th edition): Ivan Bratko
Prolog Programming for Artificial…
Ivan Bratko Paperback R2,284 Discovery Miles 22 840
Objects First with Java: A Practical Introduction Using BlueJ, Global Edition (Paperback, 6th edition): David Barnes
Objects First with Java: A Practical…
David Barnes Paperback R2,489 Discovery Miles 24 890
Advanced SQL with SAS (Hardcover): Christian F. G. Schendera
Advanced SQL with SAS
Christian F. G. Schendera Hardcover R2,539 Discovery Miles 25 390
A Day in Code- Python - Learn to Code in Python through an Illustrated Story (for Kids and Beginners) (Hardcover): Shari Eskenas
A Day in Code- Python - Learn to Code in…
Shari Eskenas Hardcover R662 Discovery Miles 6 620
CSS and HTML for beginners - A Beginners HTML and CSS Guide to Developing a Strong Coding Foundation, Building Responsive...
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R926 Discovery Miles 9 260

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