COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science)

0 avg rating
( 0 ratings by Goodreads )
)  
9783540523352: COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science)
View all copies of this ISBN edition:
 
 

This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.

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

Top Search Results from the AbeBooks Marketplace

1.

Per Martin-L?f
Published by Springer (1990)
ISBN 10: 3540523359 ISBN 13: 9783540523352
New Quantity Available: > 20
Print on Demand
Seller:
Paperbackshop-US
(Wood Dale, IL, U.S.A.)

Book Description Springer, 1990. PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9783540523352

More information about this seller | Contact this seller

Buy New
70.17
Convert currency

Add to Basket

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

2.

Martin-Lof, Per
Published by Springer 1990-02 (1990)
ISBN 10: 3540523359 ISBN 13: 9783540523352
New Quantity Available: 1
Seller:
Chiron Media
(Wallingford, United Kingdom)

Book Description Springer 1990-02, 1990. PF. Condition: New. Seller Inventory # 6666-LSI-9783540523352

More information about this seller | Contact this seller

Buy New
60.04
Convert currency

Add to Basket

Shipping: 14.35
From United Kingdom to U.S.A.
Destination, rates & speeds

3.

Martin-L??f, Per; Mints, Grigori
ISBN 10: 3540523359 ISBN 13: 9783540523352
New Quantity Available: 1
Seller:
BennettBooksLtd
(San Diego, CA, U.S.A.)

Book Description Condition: New. New. Seller Inventory # M-3540523359

More information about this seller | Contact this seller

Buy New
70.90
Convert currency

Add to Basket

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

4.

Per Martin-L?f
Published by Springer (1990)
ISBN 10: 3540523359 ISBN 13: 9783540523352
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)

Book Description Springer, 1990. PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9783540523352

More information about this seller | Contact this seller

Buy New
60.70
Convert currency

Add to Basket

Shipping: 15
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

Martin-L f, Per
Published by Springer (2017)
ISBN 10: 3540523359 ISBN 13: 9783540523352
New Paperback Quantity Available: 10
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)

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

More information about this seller | Contact this seller

Buy New
69.85
Convert currency

Add to Basket

Shipping: 6.99
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

Per Martin-Lf (Editor), Grigori Mints (Editor)
Published by Springer (1990)
ISBN 10: 3540523359 ISBN 13: 9783540523352
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)

Book Description Springer, 1990. Paperback. Condition: New. 1990. Seller Inventory # DADAX3540523359

More information about this seller | Contact this seller

Buy New
81.15
Convert currency

Add to Basket

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

7.

Per Martin-L??f, Grigori Mints
Published by Springer 2008-06-13 (2008)
ISBN 10: 3540523359 ISBN 13: 9783540523352
New Paperback Quantity Available: 20
Seller:
Chiron Media
(Wallingford, United Kingdom)

Book Description Springer 2008-06-13, 2008. Paperback. Condition: New. Seller Inventory # 6666-ING-9783540523352

More information about this seller | Contact this seller

Buy New
78.63
Convert currency

Add to Basket

Shipping: 14.35
From United Kingdom to U.S.A.
Destination, rates & speeds

8.

Martin-L??f, Per; Mints, Grigori
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany (1990)
ISBN 10: 3540523359 ISBN 13: 9783540523352
New Paperback Quantity Available: 10
Seller:
The Book Depository EURO
(London, United Kingdom)

Book Description Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany, 1990. Paperback. Condition: New. 1990 ed. Language: English. Brand new Book. This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries. Seller Inventory # AAV9783540523352

More information about this seller | Contact this seller

Buy New
98.77
Convert currency

Add to Basket

Shipping: 3
From United Kingdom to U.S.A.
Destination, rates & speeds