2004, ISBN: 9783540230243
Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic, heldonSeptember 20-24, 2004 in Karpacz, Poland. The CSL conference… Plus…
BarnesandNoble.com new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
2004, ISBN: 9783540230243
Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20-24, 2004 in Karpacz, Poland. The CSL conference … Plus…
Indigo.ca new in stock. Frais d'envoiplus verzendkosten., Livraison non-comprise Details... |
2004, ISBN: 9783540230243
Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20-24, 2004 in Karpacz, Poland. The CSL conference … Plus…
Indigo.ca new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
Computer Science Logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings - nouveau livre
2004, ISBN: 3540230246
2004 Kartoniert / Broschiert Informatik, Logik, Philosophie / Logik, Computerprogrammierung und Softwareentwicklung, Programmier- und Skriptsprachen, allgemein, Theoretische Informatik,… Plus…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Frais d'envoiVersandkostenfrei 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 Frais d'envoiVersand in 10-14 Tagen. (EUR 0.00) Details... |
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceeding - nouveau livre
2004, ISBN: 9783540230243
Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic, heldonSeptember 20-24, 2004 in Karpacz, Poland. The CSL conference… Plus…
2004, ISBN: 9783540230243
Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20-24, 2004 in Karpacz, Poland. The CSL conference … Plus…
2004
ISBN: 9783540230243
Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20-24, 2004 in Karpacz, Poland. The CSL conference … Plus…
Computer Science Logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings - nouveau livre
2004, ISBN: 3540230246
2004 Kartoniert / Broschiert Informatik, Logik, Philosophie / Logik, Computerprogrammierung und Softwareentwicklung, Programmier- und Skriptsprachen, allgemein, Theoretische Informatik,… Plus…
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
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceeding
EAN (ISBN-13): 9783540230243
ISBN (ISBN-10): 3540230246
Livre de poche
Date de parution: 2004
Editeur: Springer Berlin Heidelberg Core >1 >T
520 Pages
Poids: 0,804 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2007-05-25T19:44:23+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-03-11T16:21:54+01:00 (Paris)
ISBN/EAN: 9783540230243
ISBN - Autres types d'écriture:
3-540-23024-6, 978-3-540-23024-3
Autres types d'écriture et termes associés:
Auteur du livre: jerzy, marcinkowski, miller albert, martin albert, dale martin, richard miller, mcmillan
Titre du livre: lec, logic, proceedings international workshop, notes, international conference computer science
Données de l'éditeur
Auteur: Jerzy Marcinkowski
Titre: 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
Editeur: Springer; Springer Berlin
522 Pages
Date de parution: 2004-09-02
Berlin; Heidelberg; DE
Langue: Anglais
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.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783540301240 Computer Science Logic (Jerzy Marcinkowski)
< pour archiver...