Logic Programming Automated Reasoning by Andrei Voronkov (64 results)

Author: andrei voronkov ,

Title: logic programming automated reasoning

Refine with Advanced Search

Stock Image

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes . / Lecture Notes in Artificial Intelligence)

Ganzinger, Harald [Editor]; McAllester, David [Editor]; Voronkov, Andrei [Editor];

Published by Springer, 1999

ISBN 10: 3540664920 ISBN 13: 9783540664925

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

US$ 7.82

US$ 6.99 shipping within U.S.A.

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
Stock Image

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes . / Lecture Notes in Artificial Intelligence)

Voronkov, Andrei [Editor]

Published by Springer, 1993

ISBN 10: 3540569448 ISBN 13: 9783540569442

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

US$ 9.66

US$ 6.99 shipping within U.S.A.

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.0387569448 Ex-library paperback in very nice condition with the usual markings and attachments.
Stock Image

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings . / Lecture Notes in Artificial Intelligence)

Parigot, Michel [Editor]; Voronkov, Andrei [Editor];

Published by Springer, 2000

ISBN 10: 3540412859 ISBN 13: 9783540412854

Language: English

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: Very good

US$ 22.50

US$ 6.99 shipping within U.S.A.

Quantity: 1 available
Add to basket

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
Seller Image

Logic Programming and Automated Reasoning : 6th International Conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Lpar 1999 (Tbilisi, Georgia); McAllester, David (EDT); Voronkov, Andrei (EDT); Carbonell, J. G. (EDT); Siekmann, J. (EDT); Ganzinger, H. (EDT); Ganzinger, H.; McAllester, David; Voronkov, Andrei

Published by Springer, 1999

ISBN 10: 3540664920 ISBN 13: 9783540664925

Language: English

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 60.88

US$ 2.64 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1705)

Published by Springer, 1999

ISBN 10: 3540664920 ISBN 13: 9783540664925

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 59.54

US$ 3.99 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science, 698)

Published by Springer, 1993

ISBN 10: 3540569448 ISBN 13: 9783540569442

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 59.54

US$ 3.99 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Logic Programming and Automated Reasoning : International Conference Lpar '92, St.petersburg, Russia, July 15-20, 1992. Proceedings

Voronkov, Andrei

Published by Springer, 1992

ISBN 10: 354055727X ISBN 13: 9783540557272

Language: English

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 61.34

US$ 2.64 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Logic for Programming and Automated Reasoning : 7th Conference Lpar 2000 Reunion Island, France, November 6-10, 2000, Proceedings

Parigot, Michel (EDT); Voronkov, Andrei (EDT)

Published by Springer, 2000

ISBN 10: 3540412859 ISBN 13: 9783540412854

Language: English

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 61.34

US$ 2.64 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in Computer Science, 624)

Published by Springer, 1992

ISBN 10: 354055727X ISBN 13: 9783540557272

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 60.00

US$ 3.99 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science, 1955)

Published by Springer, 2000

ISBN 10: 3540412859 ISBN 13: 9783540412854

Language: English

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 60.00

US$ 3.99 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Logic Programming and Automated Reasoning : 6th International Conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Lpar 1999 (Tbilisi, Georgia); McAllester, David (EDT); Voronkov, Andrei (EDT); Carbonell, J. G. (EDT); Siekmann, J. (EDT); Ganzinger, H. (EDT); Ganzinger, H.; McAllester, David; Voronkov, Andrei

Published by Springer, 1999

ISBN 10: 3540664920 ISBN 13: 9783540664925

Language: English

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: As new

US$ 67.79

US$ 2.64 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: As New. Unread book in perfect condition.
Seller Image

Logic Programming and Automated Reasoning : International Conference Lpar '92, St.petersburg, Russia, July 15-20, 1992. Proceedings

Voronkov, Andrei

Published by Springer, 1992

ISBN 10: 354055727X ISBN 13: 9783540557272

Language: English

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: As new

US$ 68.24

US$ 2.64 shipping within U.S.A.

Quantity: Over 20 available
Add to basket

Condition: As New. Unread book in perfect condition.
Stock Image

Logic Programming And Automated Reasoning: International Conference Lpar *92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings (lecture Notes In Artificial Intelligence 624)

Andrei Voronkov

Published by Springer-Verlag, 1992

ISBN 10: 038755727X ISBN 13: 9780387557274

Language: English

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 75.40

Free shipping within U.S.A.

Quantity: 1 available
Add to basket

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Stock Image

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1705)

Published by Springer, 1999

ISBN 10: 3540664920 ISBN 13: 9783540664925

Language: English

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 66.21

US$ 15.67 shipping from United Kingdom to U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New. In.
Stock Image

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science, 1955)

Published by Springer, 2000

ISBN 10: 3540412859 ISBN 13: 9783540412854

Language: English

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 66.21

US$ 15.67 shipping from United Kingdom to U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New. In.
Stock Image

Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in Computer Science, 624)

Published by Springer, 1992

ISBN 10: 354055727X ISBN 13: 9783540557272

Language: English

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 66.21

US$ 15.67 shipping from United Kingdom to U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New. In.
Stock Image

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science, 698)

Published by Springer, 1993

ISBN 10: 3540569448 ISBN 13: 9783540569442

Language: English

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 68.48

US$ 15.67 shipping from United Kingdom to U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New. In.
Stock Image

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science)

Andrei Voronkov

Published by Springer 2008-06-13, 2008

ISBN 10: 3540569448 ISBN 13: 9783540569442

Language: English

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 64.41

US$ 20.27 shipping from United Kingdom to U.S.A.

Quantity: 10 available
Add to basket

Paperback. Condition: New.
Stock Image

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science)

Harald Ganzinger, Andrei Voronkov, David McAllester

Published by Springer 2008-06-13, 2008

ISBN 10: 3540664920 ISBN 13: 9783540664925

Language: English

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 64.51

US$ 20.27 shipping from United Kingdom to U.S.A.

Quantity: 10 available
Add to basket

Paperback. Condition: New.
Stock Image

Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Parigot, Michel

Published by Springer 2000-10, 2000

ISBN 10: 3540412859 ISBN 13: 9783540412854

Language: English

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 64.65

US$ 20.27 shipping from United Kingdom to U.S.A.

Quantity: 10 available
Add to basket

PF. Condition: New.
Seller Image

Logic for Programming and Automated Reasoning : 7th Conference Lpar 2000 Reunion Island, France, November 6-10, 2000, Proceedings

Parigot, Michel (EDT); Voronkov, Andrei (EDT)

Published by Springer, 2000

ISBN 10: 3540412859 ISBN 13: 9783540412854

Language: English

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 66.19

US$ 19.63 shipping from United Kingdom to U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Logic Programming and Automated Reasoning : International Conference Lpar '92, St.petersburg, Russia, July 15-20, 1992. Proceedings

Voronkov, Andrei

Published by Springer, 1992

ISBN 10: 354055727X ISBN 13: 9783540557272

Language: English

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 66.19

US$ 19.63 shipping from United Kingdom to U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Seller Image

Logic Programming and Automated Reasoning : 6th International Conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Lpar 1999 (Tbilisi, Georgia); McAllester, David (EDT); Voronkov, Andrei (EDT); Carbonell, J. G. (EDT); Siekmann, J. (EDT); Ganzinger, H. (EDT); Ganzinger, H.; McAllester, David; Voronkov, Andrei

Published by Springer, 1999

ISBN 10: 3540664920 ISBN 13: 9783540664925

Language: English

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 66.19

US$ 19.63 shipping from United Kingdom to U.S.A.

Quantity: Over 20 available
Add to basket

Condition: New.
Stock Image

Logic Programming and Automated Reasoning

Published by Springer, 1993

ISBN 10: 3540569448 ISBN 13: 9783540569442

Language: English

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 85.42

US$ 3.99 shipping within U.S.A.

Quantity: 4 available
Add to basket

Condition: New. pp. 412.
Stock Image

Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings (Lecture Notes in Artificial Intelligence 624)

Andrei Voronkov

Published by Springer-Verlag, 1992

ISBN 10: 038755727X ISBN 13: 9780387557274

Language: English

Seller: ALLBOOKS1, Direk, SA, Australia

Seller rating 5 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 89.54

Free shipping from Australia to U.S.A.

Quantity: 1 available
Add to basket

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Stock Image

Logic for Programming and Automated Reasoning

Published by Springer, 2000

ISBN 10: 3540412859 ISBN 13: 9783540412854

Language: English

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars

Contact seller

New - Softcover
Condition: New

US$ 86.13

US$ 3.99 shipping within U.S.A.

Quantity: 4 available
Add to basket

Condition: New. pp. 508.
Seller Image

Logic Programming and Automated Reasoning : International Conference Lpar '92, St.petersburg, Russia, July 15-20, 1992. Proceedings

Voronkov, Andrei

Published by Springer, 1992

ISBN 10: 354055727X ISBN 13: 9783540557272

Language: English

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: As new

US$ 75.17

US$ 19.63 shipping from United Kingdom to U.S.A.

Quantity: Over 20 available
Add to basket

Condition: As New. Unread book in perfect condition.
Seller Image

Logic Programming and Automated Reasoning : 6th International Conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Lpar 1999 (Tbilisi, Georgia); McAllester, David (EDT); Voronkov, Andrei (EDT); Carbonell, J. G. (EDT); Siekmann, J. (EDT); Ganzinger, H. (EDT); Ganzinger, H.; McAllester, David; Voronkov, Andrei

Published by Springer, 1999

ISBN 10: 3540664920 ISBN 13: 9783540664925

Language: English

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars

Contact seller

Used - Softcover
Condition: As new

US$ 75.14

US$ 19.63 shipping from United Kingdom to U.S.A.

Quantity: Over 20 available
Add to basket

Condition: As New. Unread book in perfect condition.
Stock Image

Logic Programming and Automated Reasoning

Andrei Voronkov

Published by Springer, 1992

ISBN 10: 038755727X ISBN 13: 9780387557274

Language: English

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars

Contact seller

Used - Softcover
Condition: Used

US$ 100.21

US$ 3.99 shipping within U.S.A.

Quantity: 1 available
Add to basket

Condition: Used. pp. 509.
Stock Image

Logic Programming and Automated Reasoning

Voronkov Andrei

Published by Springer, 1992

ISBN 10: 038755727X ISBN 13: 9780387557274

Language: English

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 4 out of 5 stars

Contact seller

Used - Softcover
Condition: Used

US$ 104.49

US$ 8.50 shipping from United Kingdom to U.S.A.

Quantity: 1 available
Add to basket

Condition: Used. pp. 509.

Create a Want

Tell us what you're looking for and once a match is found, we'll inform you by e-mail.

Create a Want

BookSleuth

Can't remember the title or the author of a book? Our BookSleuth is specially designed for you.

Visit BookSleuth

Logic Programming Automated Reasoning by Andrei Voronkov (64 results)

Search filters

Product Type

Condition Learn more

Binding

Collectible Attributes

Language (1)

Price

Free Shipping

Seller Location

Seller Rating

Create a Want

BookSleuth

Help with Search