- 5 Ergebnisse
Kleinster Preis: € 9,82, größter Preis: € 53,49, Mittelwert: € 29,97
1
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings: 897 (Lecture Notes in Computer Science, 897)
Bestellen
bei amazon.co.uk
£ 30,56
(ca. € 35,72)
Versand: € 5,611
Bestellen
Details beim Anbieter
gesponserter Link

Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings: 897 (Lecture Notes in Computer Science, 897) - Taschenbuch

1995, ISBN: 9783540613770

Editor: Fisher, Michael, Editor: Owens, Richard, Springer, Paperback, Auflage: 1995, 196 Seiten, Publiziert: 1995-02-17T00:00:01Z, Produktgruppe: Book, 0.28 kg, Books Global Store, Specia… Mehr…

Versandkosten:Usually dispatched within 3 to 4 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61) SerendipityBooksLtd
zuklappen (X)
2
Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 Selected Papers - Buning, Hans Kleine
Bestellen
bei AbeBooks.de
€ 14,02
Versand: € 38,121
Bestellen
Details beim Anbieter
gesponserter Link

Buning, Hans Kleine:

Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 Selected Papers - gebunden oder broschiert

1996, ISBN: 3540613773

[EAN: 9783540613770], Gebraucht, sehr guter Zustand, [PU: Springer Verlag, New York], LOGIC SYMBOLIC MATHEMATICAL COMPUTER SCIENCE, Hardcover 1996 library bound edition. Ex-library book w… Mehr…

NOT NEW BOOK. Versandkosten: EUR 38.12 Doss-Haus Books, Redondo Beach, CA, U.S.A. [3065593] [Rating: 5 (von 5)]
zuklappen (X)
3
Computer Science Logic: 9th International Workshop, CSL'95 Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995 Selected Papers (Lecture Notes in Computer Science, 1092, Band 1092) - Kleine Büning, Hans
Bestellen
bei ZVAB.com
€ 36,78
Versand: € 2,901
Bestellen
Details beim Anbieter
gesponserter Link
Kleine Büning, Hans:
Computer Science Logic: 9th International Workshop, CSL'95 Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995 Selected Papers (Lecture Notes in Computer Science, 1092, Band 1092) - Taschenbuch

1996

ISBN: 3540613773

[EAN: 9783540613770], Gebraucht, sehr guter Zustand, [SC: 2.9], [PU: Springer], 504 Seiten Von 1996. Innerhalb Deutschlands Versand je nach Größe/Gewicht als Großbrief bzw. Bücher- und Wa… Mehr…

NOT NEW BOOK. Versandkosten: EUR 2.90 Gerald Wollermann, Bad Vilbel, Germany [56128708] [Rating: 5 (von 5)]
zuklappen (X)
4
Computer Science Logic - Hans Kleine-Büning
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Hans Kleine-Büning:
Computer Science Logic - Taschenbuch

ISBN: 9783540613770

*Computer Science Logic* - 9th International Workshop CSl '95 Annual Conference of the EACSL Paderborn Germany September 22-29 1995. Selected Papers. Auflage 1996 / Taschenbuch für 53.49 … Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 10,82
(ca. € 9,82)
Versand: € 17,041
Bestellen
Details beim Anbieter
gesponserter Link
Kleine Buening, Hans [Editor]:
Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers (Lecture Notes in Computer Science) - Taschenbuch

1995, ISBN: 9783540613770

Springer, 1996-06-26. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 1996-06-26, 3

Versandkosten: EUR 17.04 GuthrieBooks
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Computer Science Logic
Autor:
Titel:
ISBN-Nummer:

3540613773


This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.

Detailangaben zum Buch - Computer Science Logic


EAN (ISBN-13): 9783540613770
ISBN (ISBN-10): 3540613773
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1996
Herausgeber: Springer Berlin Heidelberg
487 Seiten
Gewicht: 0,754 kg

Buch in der Datenbank seit 2007-05-29T12:49:59+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-12-26T15:55:05+01:00 (Zurich)
ISBN/EAN: 3540613773

ISBN - alternative Schreibweisen:
3-540-61377-3, 978-3-540-61377-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: buning, klein hans, kleine büning, fisher, richard owen
Titel des Buches: selected papers, annual, csi, michaels kloster paderborn, international conference computer science, riphahn, modal logic, germany, workshop

< zum Archiv...