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.

Buy New View Book
List Price: US$ 84.99
US$ 83.29

Convert Currency

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

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

PER MARTIN-LÇÔF
Published by Springer (1990)
ISBN 10: 3540523359 ISBN 13: 9783540523352
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 1990. Paperback. Condition: NEW. 9783540523352 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 # HTANDREE0337256

More information about this seller | Contact this seller

Buy New
US$ 83.29
Convert Currency

Add to Basket

Shipping: US$ 10.78
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Martin-LÃ f, Per
Published by Springer (2016)
ISBN 10: 3540523359 ISBN 13: 9783540523352
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 # ria9783540523352_lsuk

More information about this seller | Contact this seller

Buy New
US$ 91.36
Convert Currency

Add to Basket

Shipping: US$ 5.20
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Martin-Löf, Per
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (1990)
ISBN 10: 3540523359 ISBN 13: 9783540523352
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, 1990. 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-9783540523352

More information about this seller | Contact this seller

Buy New
US$ 96.11
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

4.

Published by Springer (2008)
ISBN 10: 3540523359 ISBN 13: 9783540523352
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 # LP9783540523352

More information about this seller | Contact this seller

Buy New
US$ 99.12
Convert Currency

Add to Basket

Shipping: US$ 3.52
From Germany to U.S.A.
Destination, Rates & Speeds

5.

Martin-Löf, Per
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (1990)
ISBN 10: 3540523359 ISBN 13: 9783540523352
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, 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 # IQ-9783540523352

More information about this seller | Contact this seller

Buy New
US$ 91.61
Convert Currency

Add to Basket

Shipping: US$ 12.13
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Per Martin-Löf (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.)
Rating
[?]

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

More information about this seller | Contact this seller

Buy New
US$ 100.22
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

7.

Published by Springer
ISBN 10: 3540523359 ISBN 13: 9783540523352
New PAPERBACK Quantity Available: > 20
Seller:
Russell Books
(Victoria, BC, Canada)
Rating
[?]

Book Description Springer. PAPERBACK. Condition: New. 3540523359 Special order direct from the distributor. Seller Inventory # ING9783540523352

More information about this seller | Contact this seller

Buy New
US$ 114.74
Convert Currency

Add to Basket

Shipping: US$ 7.00
From Canada to U.S.A.
Destination, Rates & Speeds

8.

Published by Springer (1990)
ISBN 10: 3540523359 ISBN 13: 9783540523352
New Softcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Springer, 1990. Condition: New. book. Seller Inventory # M3540523359

More information about this seller | Contact this seller

Buy New
US$ 121.92
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

9.

Martin-L?f, Per [Editor]; Mints, Grigori [Editor];
Published by Springer (1990)
ISBN 10: 3540523359 ISBN 13: 9783540523352
New Paperback Quantity Available: 10
Print on Demand
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 1990. Paperback. Condition: New. This item is printed on demand. Seller Inventory # INGM9783540523352

More information about this seller | Contact this seller

Buy New
US$ 119.55
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

10.

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

Book Description Springer. Paperback. Condition: New. 339 pages. Dimensions: 9.1in. x 6.2in. x 0.7in.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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Seller Inventory # 9783540523352

More information about this seller | Contact this seller

Buy New
US$ 131.96
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book