COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science, 417, Band 417) - Softcover

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

 
9783540523352: COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science, 417, Band 417)
Softcover
ISBN 10: 3540523359 ISBN 13: 9783540523352
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540523359
ISBN 13 
9783540523352
Einband
Taschenbuch
Anzahl der Seiten
348
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  3662171171 ISBN 13:  9783662171172
Verlag: Springer, 2014
Softcover