
2009, ISBN: 9783540613770
Springer, Taschenbuch, Auflage: 1996, 504 Seiten, Publiziert: 2009-02-22T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: part_3540613773, 3.4 kg, Verkaufsrang: 48971, Informatik, IT-Ausbi… Mehr…
amazon.de Krocoworld Gut Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
![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) - Kleine Buening, Hans [Editor]](https://images.eurobuch.de/buch/cover/OTc4MzU0MDYxMzc3MDtodHRwczovL2ltYWdlcy5ldXJvYnVjaC5kZS9pbWFnZXMvcGFydHMvY292ZXJfdmVyZ3JpZmZlbi5naWY%3D.gif)
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
1996, ISBN: 9783540613770
Paperback, Gebraucht, sehr guter Zustand, Ex-library paperback in very nice condition with the usual markings and attachments., [PU: Springer]
alibris.co.uk |

Executable Modal and Temporal Logics IJCAI '93 Workshop, Chambery, France, August 28, 1993 Proceedings 897 Lecture Notes in Computer Science - neues Buch
1996, ISBN: 3540613773
[EAN: 9783540613770], Neubuch, [PU: Springer], New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000, Books
AbeBooks.de Books2Anywhere, Fairford, GLOS, United Kingdom [190245] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 9.54 Details... |
1996, ISBN: 9783540613770
9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers, Buch, Softcover, 1996, [PU: Springer Berlin], Springer Berl… Mehr…
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |

Rakuten.fr |


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
2009, ISBN: 9783540613770
Springer, Taschenbuch, Auflage: 1996, 504 Seiten, Publiziert: 2009-02-22T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: part_3540613773, 3.4 kg, Verkaufsrang: 48971, Informatik, IT-Ausbi… Mehr…
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) - Taschenbuch1996, ISBN: 9783540613770
Paperback, Gebraucht, sehr guter Zustand, Ex-library paperback in very nice condition with the usual markings and attachments., [PU: Springer]
Executable Modal and Temporal Logics IJCAI '93 Workshop, Chambery, France, August 28, 1993 Proceedings 897 Lecture Notes in Computer Science - neues Buch
1996
ISBN: 3540613773
[EAN: 9783540613770], Neubuch, [PU: Springer], New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000, Books
1996, ISBN: 9783540613770
9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers, Buch, Softcover, 1996, [PU: Springer Berlin], Springer Berl… Mehr…
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Computer Science Logic
EAN (ISBN-13): 9783540613770
ISBN (ISBN-10): 3540613773
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1996
Herausgeber: Springer Berlin
487 Seiten
Gewicht: 0,754 kg
Buch in der Datenbank seit 2007-05-29T12:49:59+02:00 (Berlin)
Detailseite zuletzt geändert am 2022-11-19T18:26:13+01:00 (Berlin)
ISBN/EAN: 3540613773
ISBN - alternative Schreibweisen:
3-540-61377-3, 978-3-540-61377-0
Daten vom Verlag:
Autor/in: Hans Kleine Buening
Titel: Lecture Notes in Computer Science; Computer Science Logic - 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers
Verlag: Springer; Springer Berlin
492 Seiten
Erscheinungsjahr: 1996-06-05
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Gewicht: 1,540 kg
Sprache: Englisch
96,29 € (DE)
98,99 € (AT)
120,12 CHF (CH)
POD
VIII, 492 p.
BC; Book; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; computer; formal language; logic; proof theory; proving; selection; theorem proving; C; Theory of Computation; Programming Languages, Compilers, Interpreters; Computer System Implementation; Mathematical Logic and Formal Languages; Artificial Intelligence; Logics and Meanings of Programs; Theory of Computation; Compilers and Interpreters; Computer System Implementation; Formal Languages and Automata Theory; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Computer Science; Compiler und Übersetzer; Systemanalyse und -design; Künstliche Intelligenz; EA
Incompleteness of a first-order gödel logic and some temporal logics of programs.- Semantics of non-terminating rewrite systems using minimal coverings.- Congruence Types.- Deduction by combining semantic tableaux and integer programming.- leanEA: A lean evolving algebra compiler.- A proof system for finite trees.- Representing unification in a logical framework.- Decision procedures using model building techniques.- A note on the relation between polynomial time functionals and Constable's class K.- First order logic, fixed point logic and linear order.- Simultaneous rigid E-unification is undecidable.- An evolving algebra abstract machine.- Rewriting with extensional polymorphic ?-calculus.- Languages and logical definability in concurrency monoids.- Generalized implicit definitions on finite structures.- The railroad crossing problem: An experiment with instantaneous actions and immediate reactions.- A logical aspect of parametric polymorphism.- On the modal logic K plus theories.- Improved decision procedures for the modal logics K, T and S4.- A fully abstract denotational model for observational precongruence.- On sharply bounded length induction.- Effective strategies for enumeration games.- Bounded fixed-point definability and tabular recognition of languages.- Equivalences among various logical frameworks of partial algebras.- Some extensions to propositional mean-value calculus: Expressiveness and decidability.- Theorem proving modulo associativity.- Positive deduction modulo regular theories.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540685074 Computer Science Logic (Hans Kleine Buening)
- 9783540685074 Computer Science Logic (Hans Kleine Buening)
- 9783540301240 Computer Science Logic (Jerzy Marcinkowski)
- 9783540230243 Computer Science Logic (Jerzy Marcinkowski)
- Computer Science Logic
- Serious Games: Joint International Conference, JCSG 2022, Weimar, Germany, September 22?23, 2022, Proceedings (Lecture Notes in Computer Science Book 13476) (English Edition) (Liang-Jie Zhang;Mario Jeckle)
< zum Archiv...