COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour COLOG-88: International Conference on Computer Logic,...
Image d'archives
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science) Martin-Löf, Per and Mints, Grigori
Edité par
Springer, 1990
ISBN 10 : 3540523359
ISBN 13 : 9783540523352
Ancien ou d'occasion
Paperback
Vendeur : CONTINENTAL MEDIA & BEYOND, Ocala, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : Used: Good. xlibrary rebound 1990 paperback vol 417 withdrawn stamp in book/ on edge of pages clean crisp pages 338 pages/// L-9. N° de réf. du vendeur 0512MFHWXHJ
Acheter D'occasion
EUR 14,11
Frais de port :
EUR 6,01
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science)
Edité par
Springer, 1990
ISBN 10 : 3540523359
ISBN 13 : 9783540523352
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : 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. N° de réf. du vendeur UTD14a-0244
Acheter D'occasion
EUR 43,04
Frais de port :
EUR 6,01
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science, 417)
Vendeur : GoldBooks, Denver, CO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. N° de réf. du vendeur 69D54_72_3540523359
Acheter neuf
EUR 49,05
Frais de port :
EUR 3,65
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science, 417)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020169215
Acheter neuf
EUR 52,73
Frais de port :
EUR 3,43
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science)
Edité par
Springer, Berlin, 1990
ISBN 10 : 3540523359
ISBN 13 : 9783540523352
Ancien ou d'occasion
Taschenbuch
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Gut. 338 Seiten Sofort verfügbar Versand spätestens am nächsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550. N° de réf. du vendeur 182923
Acheter D'occasion
EUR 43,29
Frais de port :
EUR 24
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science, 417)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540523352_new
Acheter neuf
EUR 57,22
Frais de port :
EUR 13,55
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
COLOG-88
Edité par
Springer Berlin Heidelberg, 1990
ISBN 10 : 3540523359
ISBN 13 : 9783540523352
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 t. N° de réf. du vendeur 4892351
Acheter neuf
EUR 48,37
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
COLOG-88
Edité par
Springer Berlin Heidelberg Feb 1990, 1990
ISBN 10 : 3540523359
ISBN 13 : 9783540523352
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 348 pp. Englisch. N° de réf. du vendeur 9783540523352
Acheter neuf
EUR 74,89
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
COLOG-88
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Feb 1990, 1990
ISBN 10 : 3540523359
ISBN 13 : 9783540523352
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch. N° de réf. du vendeur 9783540523352
Acheter neuf
EUR 53,49
Frais de port :
EUR 60
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
Edité par
Springer Berlin Heidelberg, 1990
ISBN 10 : 3540523359
ISBN 13 : 9783540523352
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783540523352
Acheter neuf
EUR 53,49
Frais de port :
EUR 62,64
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)