Go back

Logic Programming First Russian Conference On Logic Programming Irkutsk Russia September 14 18 1990 Second Russian Conference On Logic Programming Lecture Notes In Artificial Intelligence 592(1992nd Edition)

Authors:

Andrei Voronkov

Free logic programming first russian conference on logic programming irkutsk russia september 14 18 1990 second
12 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Include with your book

Free shipping: April 04, 2024
Access to 3 Million+ solutions Free
Ask 10 Questions from expert 200,000+ Expert answers
7 days-trial

Total Price:

$0

List Price: $19.45 Savings: $19.45(100%)

Book details

ISBN: 3540554602, 978-3540554608

Book publisher: Springer

Get your hands on the best-selling book Logic Programming First Russian Conference On Logic Programming Irkutsk Russia September 14 18 1990 Second Russian Conference On Logic Programming Lecture Notes In Artificial Intelligence 592 1992nd Edition for free. Feed your curiosity and let your imagination soar with the best stories coming out to you without hefty price tags. Browse SolutionInn to discover a treasure trove of fiction and non-fiction books where every page leads the reader to an undiscovered world. Start your literary adventure right away and also enjoy free shipping of these complimentary books to your door.

Logic Programming First Russian Conference On Logic Programming Irkutsk Russia September 14 18 1990 Second Russian Conference On Logic Programming Lecture Notes In Artificial Intelligence 592 1992nd Edition Summary: This volume contains the proceedings of two Russian conferences on logic programming, held in 1990 in Irkutsk and in 1991 in St. Petersburg. The aim of the conferences was to bring together researchers from the Russian and the international logic programming communities. Topics covered in the volume include: logic programming, automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductivedatabases, implementation of declarative concepts, and programming in non-classical logics. This is the first volume to represent activity in the field of logic programming in the countries of the former Soviet Union.