Skip to content

Colog-88 International Conference on Computer Logic, Tallinn, USSR, December
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


From the publisher

This proceedings volume contains invited papers and selected contributions on computer logic, providing access to intensive work in this field both in the USSR and in Western countries.

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
Back to Top

More Copies for Sale

COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988,...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 65.31
SGD 8.20 shipping to USA

Show Details

Description:
Springer, 1990-03-23. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Item Price
SGD 65.31
SGD 8.20 shipping to USA
COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988,...

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 92.41
SGD 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
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988,...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 104.17
SGD 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