- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 57,66, Mittelwert: € 54,75
1
Computer Science Logic - Egon Börger
Bestellen
bei booklooker.de
€ 53,49
Versand: € 2,701
Bestellen
Details beim Anbieter
gesponserter Link
Egon Börger:

Computer Science Logic - Taschenbuch

2020, ISBN: 9783540582779

[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Associa… Mehr…

Versandkosten:Versand nach Deutschland. (EUR 2.70) AHA-BUCH GmbH
zuklappen (X)
2
Computer Science Logic 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers - Börger, Egon (Herausgeber); Meinke, Karl (Herausgeber); Gurevich, Yuri (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Börger, Egon (Herausgeber); Meinke, Karl (Herausgeber); Gurevich, Yuri (Herausgeber):

Computer Science Logic 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers - neues Buch

1994, ISBN: 3540582770

1994 Kartoniert / Broschiert EDV / Theorie / Allgemeines, Logik, Philosophie / Logik, Mathematische Grundlagen, Theoretische Informatik, Künstliche Intelligenz, ienceHornClauses; Horn-K… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
3
Computer Science Logic 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers - Börger, Egon (Herausgeber); Meinke, Karl (Herausgeber); Gurevich, Yuri (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 57,66
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Börger, Egon (Herausgeber); Meinke, Karl (Herausgeber); Gurevich, Yuri (Herausgeber):
Computer Science Logic 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers - neues Buch

1994

ISBN: 3540582770

1994 Kartoniert / Broschiert EDV / Theorie / Allgemeines, Logik, Philosophie / Logik, Mathematische Grundlagen, Theoretische Informatik, Künstliche Intelligenz, ienceHornClauses; Horn-K… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Computer Science Logic - Egon Börger/ Yuri Gurevich/ Karl Meinke
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Egon Börger/ Yuri Gurevich/ Karl Meinke:
Computer Science Logic - Taschenbuch

ISBN: 9783540582779

*Computer Science Logic* - 7th Workshop CSL '93 Swansea United Kingdom September 13 - 17 1993. Selected Papers. Auflage 1994 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, English,,… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
5
Computer Science Logic - Egon Börger; Yuri Gurevich; Karl Meinke
Bestellen
bei lehmanns.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Egon Börger; Yuri Gurevich; Karl Meinke:
Computer Science Logic - Erstausgabe

1994, ISBN: 9783540582779

Taschenbuch

7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers, Buch, Softcover, 1994, [PU: Springer Berlin], Springer Berlin, 1994

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
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:

9783540582779


This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.

Detailangaben zum Buch - Computer Science Logic


EAN (ISBN-13): 9783540582779
ISBN (ISBN-10): 3540582770
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1994
Herausgeber: Springer Berlin
356 Seiten
Gewicht: 0,538 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-06-26T12:20:28+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-04-06T19:39:14+02:00 (Zurich)
ISBN/EAN: 9783540582779

ISBN - alternative Schreibweisen:
3-540-58277-0, 978-3-540-58277-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: egon börger, gurevich, meinke, borger, egon brger, vidal, boerger, karl may, rger, karl springer, karl held
Titel des Buches: workshop 1993, 1993 band, science kingdom, logic computer science, computer notes, september band, swansea, myra, sel, unite science

Daten vom Verlag:

Autor/in: Egon Börger; Yuri Gurevich; Karl Meinke
Titel: Lecture Notes in Computer Science; Computer Science Logic - 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
Verlag: Springer; Springer Berlin
336 Seiten
Erscheinungsjahr: 1994-07-20
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 336 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; CSL; Computer Science Logic; Horn Clauses; Horn-Klauseln; Informatik-Logik; Lambda Calculi; Lambda-Kalküle; Mathematical Logic; Program Semantics; computer; computer science; lambda calculus; logic; Theory of Computation; Computer Science Logic and Foundations of Programming; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Artificial Intelligence; Mathematik: Logik; Mathematische Grundlagen; Künstliche Intelligenz; EA

The complexity of set constraints.- On duality for the modal ?-calculus.- Short proofs of tautologies using the schema of equivalence.- Process algebra with combinators.- Is game semantics necessary?.- The model theory of concurrency.- From semantics to rules: A machine assisted analysis.- On the reasons for average superlinear speedup in parallel backtrack search.- Negation as inconsistency in PROLOG via intuitionistic logic.- Approximable minimization problems and optimal solutions on random inputs.- Bounded-arity hierarchies in fixed-point logics.- Petri nets and the equivalence problem.- Logical aspects of set constraints.- Oracles and quantifiers.- A Horn clause that implies an undecidable set of Horn clauses.- Higher-order action calculi.- A generic strong normalization argument: Application to the Calculus of Constructions.- Data types, infinity and equality in system AF 2.- Normalization for typed lambda calculi with explicit substitution.- Program transformation and proof transformation.- Incorporating generalized quantifiers and the least fixed point operator.- “The semantics of the C programming language”.
< zum Archiv...