Articles liés à COLOG-88: International Conference on Computer Logic,...

COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings - Couverture souple

Martin-L??f, Per; Mints, Grigori

 
9783540523352: COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
Couverture souple
ISBN 10 : 3540523359 ISBN 13 : 9783540523352
Editeur : Springer, 2008

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.

Éditeur
Springer
Date d'édition
2008
Langue
anglais
ISBN 10 
3540523359
ISBN 13 
9783540523352
Reliure
Broché
Nombre de pages
348
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

état :  Satisfaisant
xlibrary rebound 1990 paperback...
Afficher cet article
9783540523352: COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
EUR 13,98

Autre devise

EUR 32,38 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
9783540523352: COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
EUR 48,37

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9783662171172: COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings

Edition présentée

ISBN 10 :  3662171171 ISBN 13 :  9783662171172
Editeur : Springer, 2014
Couverture souple

Résultats de recherche pour COLOG-88: International Conference on Computer Logic,...

Image d'archives

Martin-L??f, Per; 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 Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter D'occasion

EUR 13,98
Autre devise
Frais de port : EUR 32,38
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Martin-L??f, Per; Mints, Grigori
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter D'occasion

EUR 43,29
Autre devise
Frais de port : EUR 9
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Martin-Löf, Per|Mints, Grigori
Edité par Springer Berlin Heidelberg, 1990
ISBN 10 : 3540523359 ISBN 13 : 9783540523352
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 48,37
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Martin-L??f, Per; Mints, Grigori
Edité par Springer, 1990
ISBN 10 : 3540523359 ISBN 13 : 9783540523352
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783540523352_new

Contacter le vendeur

Acheter neuf

EUR 58,45
Autre devise
Frais de port : EUR 4,61
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Grigori Mints
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Grigori Mints
ISBN 10 : 3540523359 ISBN 13 : 9783540523352
Neuf Taschenbuch
impression à la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 15
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Martin-L??f, Per; Mints, Grigori
Edité par Springer, 1990
ISBN 10 : 3540523359 ISBN 13 : 9783540523352
Neuf Couverture souple

Vendeur : Best Price, Torrance, CA, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9783540523352

Contacter le vendeur

Acheter neuf

EUR 48,26
Autre devise
Frais de port : EUR 25,55
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Martin-L?f, Per
Edité par Springer, 1990
ISBN 10 : 3540523359 ISBN 13 : 9783540523352
Neuf Couverture souple

Vendeur : GoldBooks, Denver, CO, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : new. N° de réf. du vendeur 44L90_90_3540523359

Contacter le vendeur

Acheter neuf

EUR 48,58
Autre devise
Frais de port : EUR 26,42
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Grigori Mints
ISBN 10 : 3540523359 ISBN 13 : 9783540523352
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 74,89
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Martin-Löf, Per [Editor]; Mints, Grigori [Editor];
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur UTD14a-0244

Contacter le vendeur

Acheter D'occasion

EUR 42,67
Autre devise
Frais de port : EUR 55,39
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

There are 1 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre