Master your Minecraft
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Tour our stores


    Recently Viewed clear list


    What I'm Giving | December 4, 2014

    Fred Armisen: IMG Fred Armisen: What I'm Giving



    At Powell's, we feel the holidays are the perfect time to share our love of books with those close to us. For this special blog series, we reached... Continue »

    spacer
Qualifying orders ship free.
$150.50
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Computers Reference- General

This title in other editions

Logic Programming & Automated Reasoning: Proceedings, International Conference, St. Petersburg, Russia, July 15-22, 1992

by

Logic Programming & Automated Reasoning: Proceedings, International Conference, St. Petersburg, Russia, July 15-22, 1992 Cover

 

Synopses & Reviews

Publisher Comments:

This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics. LPAR '92 is the successor of the First and Second Russian Conferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were publishedin LNAI Vol. 592.

Product Details

ISBN:
9783540557272
Author:
Voronkov, Andrei
Publisher:
Springer
Other:
Voronkov, A.
Location:
Berlin, Heidelberg
Subject:
Artificial Intelligence - General
Subject:
Logic
Subject:
Intelligence (AI) & Semantics
Subject:
Computers-Reference - General
Subject:
automated reasoning
Subject:
automated theorem proving
Subject:
Automatisches Beweisen
Subject:
Automatisches Schlieen
Subject:
Deductive databases
Subject:
Deduktive Datenbanken
Subject:
Logic programming
Subject:
Logisches Programmieren
Subject:
Nichtklassische Logik
Subject:
non-classical logics
Subject:
Theorembeweisen (Kybern.)
Subject:
Mathematical Logic and Formal Languages
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
Mathematical Logic and Foundations
Subject:
Computer Science
Subject:
Language, literature and biography
Subject:
Artificial Intelligence
Subject:
Logic, symbolic and mathematical
Copyright:
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Series Volume:
624
Publication Date:
19920729
Binding:
TRADE PAPER
Language:
English
Illustrations:
Y
Pages:
524
Dimensions:
242 x 170 mm 1630 gr

Related Subjects

Business » General
Business » Management
Business » Writing
Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy
Science and Mathematics » Mathematics » Topology

Logic Programming & Automated Reasoning: Proceedings, International Conference, St. Petersburg, Russia, July 15-22, 1992 New Trade Paper
0 stars - 0 reviews
$150.50 In Stock
Product details 524 pages Springer-Verlag New York, Incorporated - English 9783540557272 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.