Description:
Springer, 1990-03-23. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Stock Photo: Cover May Be Different
Colog-88 International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science) Unknown - 1990 - 1990th Edition
by Martin-Lvf, Per (Editor), And Mints, Grigori (Editor), And Martin-Lof, Per
First line
We investigate the processes admitting algebraic specifications.
Details
- Title Colog-88 International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science)
- Author Martin-Lvf, Per (Editor), And Mints, Grigori (Editor), And Martin-Lof, Per
- Binding unknown
- Edition number 1990th
- Edition 1990
- Publisher Springer
- Date March 1990
- ISBN 9783540523352
More Copies for Sale
Stock Photo: Cover May Be Different
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science)
by Martin-Löf, Per [Editor]; Mints, Grigori [Editor];
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540523352 / 3540523359
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
SGD 65.31SGD 8.20 shipping to USA
Show Details
Item Price
SGD 65.31
SGD 8.20
shipping to USA
COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
by Per Martin-Löf
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540523352 / 3540523359
- Quantity Available
- 362
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
SGD 92.41SGD 13.90 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings.
Item Price
SGD 92.41
SGD 13.90
shipping to USA
Stock Photo: Cover May Be Different
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
by Per Martin-Lof
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540523352 / 3540523359
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
SGD 104.17SGD 17.31 shipping to USA
Show Details
Description:
Paperback / softback. New. 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.
Item Price
SGD 104.17
SGD 17.31
shipping to USA