✨ Featured Offer
Brand New
$58.73
List Price: $54.99
🚚
See all 2 offers from $58.73 FREE standard delivery by: 02 Apr 2026
Overview
This volume contains the proceedings of two Russianconferences on logic programming, held in 1990 in Irkutskand in 1991 in St. Petersburg. The aim of the conferenceswas to bring together researchers from the Russian and theinternational logic programming communities. Topics coveredin the volume include: logic programming, automated theoremproving, non-monotonic reasoning, applications ofmathematical logic to computer science, deductivedatabases,implementation of declarative concepts, and programming innon-classical logics.This is the first volume to represent activity in the fieldof logic programming in the countries of the former SovietUnion.
| ISBN-13 | 9783540554608 |
|---|---|
| ISBN-10 | 3540554602 |
| Weight | 1.64 Pounds |
| Dimensions | 6.10 x 1.20 x 9.25 In |
| List Price | $54.99 |
| Edition | 1st Edition |
| Format | - |
|---|---|
| Language | English |
| Pages | xi, 521 pages |
| Publisher | Springer |
| Published On | 1992-05-06 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Glued binding. 521 p.
Free delivery by: 02 Apr 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 02 Apr 2026