- 5 Ergebnisse
Kleinster Preis: € 91,95, größter Preis: € 109,99, Mittelwert: € 104,58
1
Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September Julian Bradfiel
Bestellen
bei BarnesandNoble.com
€ 109,99
Bestellengesponserter Link

Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September Julian Bradfiel - neues Buch

2002, ISBN: 9783540442400

The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 September 2002. The confe… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
2
Computer Science Logic
Bestellen
bei Springer.com
€ 106,99
Versand: € 0,001
Bestellengesponserter Link
Computer Science Logic - neues Buch

2002, ISBN: 9783540442400

The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 September 2002. The conference … Mehr…

Nr. 978-3-540-44240-0. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
3
Computer Science Logic - Bradfield, Julian
Bestellen
bei booklooker.de
€ 91,95
Versand: € 0,001
Bestellengesponserter Link
Bradfield, Julian:
Computer Science Logic - Erstausgabe

2002

ISBN: 9783540442400

Taschenbuch

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 22-25, 2002, ProceedingsT… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
4
Computer Science Logic
Bestellen
bei Hugendubel.de
€ 106,99
Bestellengesponserter Link
Computer Science Logic - Taschenbuch

2002, ISBN: 9783540442400

*Computer Science Logic* - 16th International Workshop CSL 2002 11th Annual Conference of the EACSL Edinburgh Scotland UK September. Auflage 2002 / Taschenbuch für 106.99 € / Aus dem Bere… Mehr…

Versandkosten:Does not ship to your country., zzgl. Versandkosten
5
Computer Science Logic
Bestellen
bei Hugendubel.de
€ 106,99
Versand: € 3,951
Bestellengesponserter Link
Computer Science Logic - Taschenbuch

2002, ISBN: 9783540442400

*Computer Science Logic* - 16th International Workshop CSL 2002 11th Annual Conference of the EACSL Edinburgh Scotland UK September. Auflage 2002 / Taschenbuch für 106.99 € / Aus dem Bere… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., zzgl. Versandkosten. (EUR 3.95)

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

This book constitutes the refereed proceedings of the 16th International Workshop on Computer Science Logic, CSL 2002, held as the 11th Annual Conference of the EACSL in Edinburgh, Scotland, UK, in September 2002.The 37 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on rewriting and constructive mathematics; fixpoints and recursion; linear and resource logics; semantics; temporal logics and games; probability, games, and fixpoints; complexity and proof complexity; ludics and linear logics, lambda-calculi; and resolution and proofs.

Detailangaben zum Buch - Computer Science Logic


EAN (ISBN-13): 9783540442400
ISBN (ISBN-10): 3540442405
Taschenbuch
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin Heidelberg
640 Seiten
Gewicht: 0,953 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-31T07:29:30+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-01-06T22:55:46+01:00 (Zurich)
ISBN/EAN: 9783540442400

ISBN - alternative Schreibweisen:
3-540-44240-5, 978-3-540-44240-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: martin frank
Titel des Buches: logic computer science, science notes


Daten vom Verlag:

Autor/in: Julian Bradfield
Titel: Lecture Notes in Computer Science; Computer Science Logic - 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
Verlag: Springer; Springer Berlin
628 Seiten
Erscheinungsjahr: 2002-09-09
Berlin; Heidelberg; DE
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XII, 628 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; AI Logic; Computer Science Logic; Formal Methods; Higher-Order Logic; Logical Calculi; Logical Foundations; Mathematical Logic; Nonclassical Logics; Program Logic; Program Semantics; Proof Theory; Resolution; complexity; logic; semantics; Theory of Computation; Compilers and Interpreters; Formal Languages and Automata Theory; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Mathematical Logic and Foundations; Compiler und Übersetzer; Künstliche Intelligenz; Mathematik: Logik; Mathematische Grundlagen; EA

Invited Lectures.- Limit-Computable Mathematics and Its Applications.- Automata, Logic, and XML.- ?-Calculus via Games (Extended Abstract).- Rewriting and Constructive Mathematics.- Bijections between Partitions by Two-Directional Rewriting Techniques.- On Continuous Normalization.- Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle.- Compactness and Continuity, Constructively Revisited.- Fixpoints and Recursion.- Hoare Logics for Recursive Procedures and Unbounded Nondeterminism.- A Fixpoint Theory for Non-monotonic Parallelism.- Greibach Normal Form in Algebraically Complete Semirings.- Linear and Resource Logics.- Proofnets and Context Semantics for the Additives.- A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming.- Resource Tableaux.- Semantics.- Configuration Theories.- A Logic for Probabilities in Semantics.- Possible World Semantics for General Storage in Call-By-Value.- A Fully Abstract Relational Model of Syntactic Control of Interference.- Temporal Logics and Games.- Optimal Complexity Bounds for Positive LTL Games.- The Stuttering Principle Revisited: On the Expressiveness of Nested X and ? Operators in the Logic LTL.- Trading Probability for Fairness.- Probability, Games and Fixpoints.- A Logic of Probability with Decidable Model-Checking.- Solving Pushdown Games with a ?3 Winning Condition.- Partial Fixed-Point Logic on Infinite Structures.- On the Variable Hierarchy of the Modal ?-Calculus.- Complexity and Proof Complexity.- Implicit Computational Complexity for Higher Type Functionals.- On Generalizations of Semi-terms of Particularly Simple Form.- Local Problems, Planar Local Problems and Linear Time.- Equivalence and Isomorphism for Boolean ConstraintSatisfaction.- Ludics and Linear Logic.- Travelling on Designs.- Designs, Disputes and Strategies.- Classical Linear Logic of Implications.- Lambda-Calculi.- Higher-Order Positive Set Constraints.- A Proof Theoretical Account of Continuation Passing Style.- Duality between Call-by-Name Recursion and Call-by-Value Iteration.- Decidability of Bounded Higher-Order Unification.- Open Proofs and Open Terms: A Basis for Interactive Logic.- Logical Relations for Monadic Types.- Resolution and Proofs.- On the Automatizability of Resolution and Related Propositional Proof Systems.- Extraction of Proofs from the Clausal Normal Form Transformation.- Resolution Refutations and Propositional Proofs with Height-Restrictions.
Includes supplementary material: sn.pub/extras

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540457930 Computer Science Logic (Julian Bradfield)


< zum Archiv...