2009, ISBN: 9783540613770
Editor: Kleine Büning, Hans, Springer, Paperback, Auflage: 1996, 504 Seiten, Publiziert: 2009-02-22T00:00:01Z, Produktgruppe: Book, 1.54 kg, Architecture & Microprocessors, Computer Science, Computing & Internet, Subjects, Books, AI & Machine Learning, Systems Analysis & Design, Algorithms, Programming, Compilers, Introduction to Programming, Languages, Languages & Tools, Almanacs & Yearbooks, Reference, Mathematical Logic, Mathematical Foundations, Mathematics, Science, Nature & Math, Springer, 2009
| amazon.co.uk Better World Books Marketplace West Gut Versandkosten:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.30) Details... |
ISBN: 9783540613770
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. Books > Computer Science Soft cover, Springer Shop
| Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2009, ISBN: 9783540613770
Springer, Taschenbuch, Auflage: 1996, 504 Seiten, Publiziert: 2009-02-22T00:00:01Z, Produktgruppe: Book, 3.4 kg, Verkaufsrang: 48027, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Bücher, Programmierung & Webdesign, Künstliche Intelligenz, Fachbücher, Philosophie, Wissen nach Themen, Schule & Lernen, Mathematik, Naturwissenschaften & Technik, Kleine Büning, Hans, Springer, 2009
| amazon.de Krocoworld Gut Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2009, ISBN: 9783540613770
Springer, Taschenbuch, Auflage: 1996, 504 Seiten, Publiziert: 2009-02-22T00:00:01Z, Produktgruppe: Book, 3.4 kg, Verkaufsrang: 48027, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Bücher, Programmierung & Webdesign, Künstliche Intelligenz, Fachbücher, Philosophie, Wissen nach Themen, Schule & Lernen, Mathematik, Naturwissenschaften & Technik, Kleine Büning, Hans, Springer, 2009
 | amazon.de TextbooksforU Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
1996, ISBN: 9783540613770
9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers, 1996, Softcover, Buch, [PU: Springer Berlin]
| lehmanns.de Versandkosten:Versand in 10-14 Tagen (Lieferung nach Weihnachten), , Versandkostenfrei innerhalb der BRD. (EUR 9.95) Details... |
Computer Science Logic: 9th International Workshop, CSL'95 Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995 Selected Papers: ... Wo (Lecture Notes in Computer Science) - Taschenbuch
2009, ISBN: 9783540613770
Editor: Kleine Büning, Hans, Springer, Paperback, Auflage: 1996, 504 Seiten, Publiziert: 2009-02-22T00:00:01Z, Produktgruppe: Book, 1.54 kg, Architecture & Microprocessors, Computer Scien… Mehr…
ISBN: 9783540613770
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, Ger… Mehr…
2009
ISBN: 9783540613770
Springer, Taschenbuch, Auflage: 1996, 504 Seiten, Publiziert: 2009-02-22T00:00:01Z, Produktgruppe: Book, 3.4 kg, Verkaufsrang: 48027, Informatik, IT-Ausbildung & -Berufe, Computer & Inter… Mehr…
2009, ISBN: 9783540613770
Springer, Taschenbuch, Auflage: 1996, 504 Seiten, Publiziert: 2009-02-22T00:00:01Z, Produktgruppe: Book, 3.4 kg, Verkaufsrang: 48027, Informatik, IT-Ausbildung & -Berufe, Computer & Inter… Mehr…
1996, ISBN: 9783540613770
9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers, 1996, Softcover, Buch, [PU: Springer Berlin]
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - Computer Science Logic: 9th International Workshop, CSL'95 Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995 Selected Papers ... Notes in Computer Science (1092), Band 1092)
EAN (ISBN-13): 9783540613770
ISBN (ISBN-10): 3540613773
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1996
Herausgeber: Kleine Büning, Hans, Springer
487 Seiten
Gewicht: 0,754 kg
Buch in der Datenbank seit 2007-05-29T12:49:59+02:00 (Berlin)
Detailseite zuletzt geändert am 2021-01-13T19:55:42+01:00 (Berlin)
ISBN/EAN: 3540613773
ISBN - alternative Schreibweisen:
3-540-61377-3, 978-3-540-61377-0
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540230243 Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, Septem (Marcinkowski, Jerzy / Tarlecki, Andrzej (eds.))
- 9783540230243 Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, Septem (Marcinkowski, Jerzy / Tarlecki, Andrzej (eds.))
- Computer Science Logic
- Proceedings of the 14th International Computer Music Conference Cologne, September 20-25, 1988 (Zoltan Esik)
< zum Archiv...