2004, ISBN: 9783540230243
[ED: Softcover], [PU: Springer, Berlin], Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20 24, 200… Mehr…
booklooker.de buecher.de GmbH & Co. KG Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
2004, ISBN: 9783540230243
Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20-24, 2004 in Karpacz, Poland. The CSL conference … Mehr…
Indigo.ca new in stock. Versandkosten:plus verzendkosten., zzgl. Versandkosten Details... |
2004, ISBN: 9783540230243
Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20-24, 2004 in Karpacz, Poland. The CSL conference … Mehr…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Computer Science Logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings - neues Buch
2004, ISBN: 3540230246
2004 Kartoniert / Broschiert Informatik, Logik, Philosophie / Logik, Computerprogrammierung und Softwareentwicklung, Programmier- und Skriptsprachen, allgemein, Theoretische Informatik,… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2004, ISBN: 9783540230243
18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2004
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2004, ISBN: 9783540230243
[ED: Softcover], [PU: Springer, Berlin], Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20 24, 200… Mehr…
2004, ISBN: 9783540230243
Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20-24, 2004 in Karpacz, Poland. The CSL conference … Mehr…
2004
ISBN: 9783540230243
Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20-24, 2004 in Karpacz, Poland. The CSL conference … Mehr…
Computer Science Logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings - neues Buch
2004, ISBN: 3540230246
2004 Kartoniert / Broschiert Informatik, Logik, Philosophie / Logik, Computerprogrammierung und Softwareentwicklung, Programmier- und Skriptsprachen, allgemein, Theoretische Informatik,… Mehr…
2004, ISBN: 9783540230243
18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2004
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Computer Science Logic
EAN (ISBN-13): 9783540230243
ISBN (ISBN-10): 3540230246
Taschenbuch
Erscheinungsjahr: 2004
Herausgeber: Springer Berlin
520 Seiten
Gewicht: 0,804 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-25T19:44:23+02:00 (Zurich)
Detailseite zuletzt geändert am 2022-07-29T15:56:23+02:00 (Zurich)
ISBN/EAN: 9783540230243
ISBN - alternative Schreibweisen:
3-540-23024-6, 978-3-540-23024-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: jerzy, marcinkowski, miller albert, martin albert, dale martin, richard miller, mcmillan
Titel des Buches: lec, logic, proceedings international workshop, notes, international conference computer science
Daten vom Verlag:
Autor/in: Jerzy Marcinkowski
Titel: Lecture Notes in Computer Science; Computer Science Logic - 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
Verlag: Springer; Springer Berlin
522 Seiten
Erscheinungsjahr: 2004-09-02
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 522 p.
BC; Hardcover, Softcover / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Informatik; 3-SAT; AI logics; Erfüllbarkeitsproblem der Aussagenlogik; calculus; classical logic; complexity; computer science logic; linear logic; logic; mathematical logic; model checking; proving; term rewriting; theorem proving; verification; Compilers and Interpreters; Formal Languages and Automata Theory; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Theoretische Informatik; Künstliche Intelligenz; EA
Invited Lectures.- Notions of Average-Case Complexity for Random 3-SAT.- Abstract Interpretation of Proofs: Classical Propositional Calculus.- Applications of Craig Interpolation to Model Checking.- Bindings, Mobility of Bindings, and the ?-Quantifier: An Abstract.- My (Un)Favourite Things.- Regular Papers.- On Nash Equilibria in Stochastic Games.- A Bounding Quantifier.- Parity and Exploration Games on Infinite Graphs.- Integrating Equational Reasoning into Instantiation-Based Theorem Proving.- Goal-Directed Methods for ?ukasiewicz Logic.- A General Theorem on Termination of Rewriting.- Predicate Transformers and Linear Logic: Yet Another Denotational Model.- Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity.- On Proof Nets for Multiplicative Linear Logic with Units.- The Boundary Between Decidability and Undecidability for Transitive-Closure Logics.- Game-Based Notions of Locality Over Finite Models.- Fixed Points of Type Constructors and Primitive Recursion.- On the Building of Affine Retractions.- Higher-Order Matching in the Linear ?-calculus with Pairing.- A Dependent Type Theory with Names and Binding.- Towards Mechanized Program Verification with Separation Logic.- A Functional Scenario for Bytecode Verification of Resource Bounds.- Proving Abstract Non-interference.- Intuitionistic LTL and a New Characterization of Safety and Liveness.- Moving in a Crumbling Network: The Balanced Case.- Parameterized Model Checking of Ring-Based Message Passing Systems.- A Third-Order Bounded Arithmetic Theory for PSPACE.- Provably Total Primitive Recursive Functions: Theories with Induction.- Logical Characterizations of PSPACE.- The Logic of the Partial ?-Calculus with Equality.- Complete Lax Logical Relations for Cryptographic Lambda-Calculi.-Subtyping Union Types.- Pfaffian Hybrid Systems.- Axioms for Delimited Continuations in the CPS Hierarchy.- Set Constraints on Regular Terms.- Unsound Theorem Proving.- A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation.- Automated Generation of Analytic Calculi for Logics with Linearity.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540301240 Computer Science Logic (Jerzy Marcinkowski)
- 9783540301240 Computer Science Logic (Jerzy Marcinkowski)
- 9783540384014 Computer Science Logic (Egon Börger; Hans Kleine Büning; Michael M. Richter; Wolfgang Schönfeld)
- 9783540318972 Computer Science Logic als eBook Download von (Luke Ong)
- 9783540282310 Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings Luke O (Luke Ong)
- Computer Science Logic
< zum Archiv...