- 0 Ergebnisse
Kleinster Preis: € 8,19, größter Preis: € 99,35, Mittelwert: € 60,52
1
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)
Bestellen
bei amazon.de
€ 8,19
Versand: € 3,00
Bestellen
gesponserter Link

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…

Gut Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Krocoworld
2
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)
Bestellen
bei amazon.de
€ 82,17
Versand: € 3,00
Bestellen
gesponserter Link
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: 48716, Informatik, IT-Ausbi… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
3
Bestellen
bei alibris.co.uk
€ 19,59
Bestellen
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

1996

ISBN: 9783540613770

Paperback, Gebraucht, sehr guter Zustand, Ex-library paperback in very nice condition with the usual markings and attachments., [PU: Springer]

Versandkosten:zzgl. Versandkosten Spring Branch, TX, GuthrieBooks
4
Bestellen
bei Biblio.co.uk
$ 105,32
(ca. € 93,31)
Versand: € 0,00
Bestellen
gesponserter Link
Buening Hans Kleine:
Computer Science Logic: 9Th International Workshop, Csl '95, Annual Conference Of The Eacsl Paderborn, Germany, September 22-29, 1995. Selected Papers - Taschenbuch

ISBN: 9783540613770

Germany: Springer Nature, 1996. Paperback. Brand New. Book Condition:- Brand New. Secured Packaging. Fast DeliveryBookseller Inventory # 9783540613770, Springer Nature, 1996, 6

IND - IndienVersandkosten:Versandkostenfrei. (EUR 0.00) STM Traders Private Limited
5
Bestellen
bei AbeBooks.de
€ 99,35
Versand: € 9,54
Bestellen
gesponserter Link
Hans Kleine Buening:
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

NEW BOOK. Versandkosten: EUR 9.54 Books2Anywhere, Fairford, GLOS, United Kingdom [190245] [Rating: 5 (von 5)]

Details zum Buch
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)

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: 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)


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 (Vienna)
Detailseite zuletzt geändert am 2022-01-01T07:24:18+01:00 (Vienna)
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

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; Theoretische Informatik; Künstliche Intelligenz; Theoretische Informatik; 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:
9783540301240 Computer Science Logic (Jerzy Marcinkowski)


< zum Archiv...