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

0 avg rating
( 0 ratings by Goodreads )
 
9783540554608: 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
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 109.00
US$ 96.84

Convert currency

Shipping: US$ 10.42
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to Basket

Other Popular Editions of the Same Title

9780387554600: Logic Programming (Lecture Notes in Artificial Intelligence)

Featured Edition

ISBN 10:  0387554602 ISBN 13:  9780387554600
Publisher: Springer Verlag, 1992
Softcover

Top Search Results from the AbeBooks Marketplace

1.

ANDREI VORONKOV
Published by Springer (1992)
ISBN 10: 3540554602 ISBN 13: 9783540554608
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 1992. Paperback. Condition: NEW. 9783540554608 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0338329

More information about this seller | Contact this seller

Buy New
US$ 96.84
Convert currency

Add to Basket

Shipping: US$ 10.42
From United Kingdom to U.S.A.
Destination, rates & speeds

2.

Voronkov, Andrei
Published by Springer (2016)
ISBN 10: 3540554602 ISBN 13: 9783540554608
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540554608_lsuk

More information about this seller | Contact this seller

Buy New
US$ 102.52
Convert currency

Add to Basket

Shipping: US$ 5.05
From United Kingdom to U.S.A.
Destination, rates & speeds

3.

Andrei Voronkov
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (1992)
ISBN 10: 3540554602 ISBN 13: 9783540554608
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 1992. PAP. Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9783540554608

More information about this seller | Contact this seller

Buy New
US$ 98.11
Convert currency

Add to Basket

Shipping: US$ 11.75
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

Voronkov, Andrei
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (1992)
ISBN 10: 3540554602 ISBN 13: 9783540554608
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 1992. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783540554608

More information about this seller | Contact this seller

Buy New
US$ 109.69
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

5.

Published by Springer (2008)
ISBN 10: 3540554602 ISBN 13: 9783540554608
New Softcover Quantity Available: 15
Print on Demand
Seller:
Rating
[?]

Book Description Springer, 2008. Condition: New. This item is printed on demand for shipment within 3 working days. Seller Inventory # LP9783540554608

More information about this seller | Contact this seller

Buy New
US$ 110.99
Convert currency

Add to Basket

Shipping: US$ 3.45
From Germany to U.S.A.
Destination, rates & speeds

6.

Andrei Voronkov (Editor)
Published by Springer (1992)
ISBN 10: 3540554602 ISBN 13: 9783540554608
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 1992. Paperback. Condition: New. 1992. Seller Inventory # DADAX3540554602

More information about this seller | Contact this seller

Buy New
US$ 116.57
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

7.

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany (1992)
ISBN 10: 3540554602 ISBN 13: 9783540554608
New Paperback Quantity Available: 10
Seller:
The Book Depository EURO
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany, 1992. Paperback. Condition: New. 1992 ed.. Language: English. Brand new Book. 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. Seller Inventory # AAV9783540554608

More information about this seller | Contact this seller

Buy New
US$ 156.48
Convert currency

Add to Basket

Shipping: US$ 3.92
From United Kingdom to U.S.A.
Destination, rates & speeds

8.

Published by Springer
ISBN 10: 3540554602 ISBN 13: 9783540554608
New Paperback Quantity Available: > 20
Seller:
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description Springer. Paperback. Condition: New. 521 pages. Dimensions: 9.2in. x 6.1in. x 1.2in.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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Seller Inventory # 9783540554608

More information about this seller | Contact this seller

Buy New
US$ 170.26
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds