- 5 Ergebnisse
Kleinster Preis: € 15,36, größter Preis: € 111,22, Mittelwert: € 68,53
1
Computer Science Logic - Jörg Flum; Mario Rodriguez-Artalejo
Bestellen
bei lehmanns.de
€ 106,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Jörg Flum; Mario Rodriguez-Artalejo:

Computer Science Logic - Taschenbuch

1999, ISBN: 9783540665366

13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, Buch, Softcover, The 1999 Annual Conference of the European Ass… Mehr…

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
zuklappen (X)
2
Computer Science Logic 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings - Rodriguez-Artalejo, Mario (Herausgeber); Flum, Jörg (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Rodriguez-Artalejo, Mario (Herausgeber); Flum, Jörg (Herausgeber):

Computer Science Logic 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings - neues Buch

1999, ISBN: 3540665366

1999 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Mathematische Grundlagen, Theoretische Informatik, Künstliche Intelligenz, computersc… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
3
Computer Science Logic 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings - Rodriguez-Artalejo, Mario (Herausgeber); Flum, Jörg (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 111,22
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Rodriguez-Artalejo, Mario (Herausgeber); Flum, Jörg (Herausgeber):
Computer Science Logic 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings - neues Buch

1999

ISBN: 3540665366

1999 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Mathematische Grundlagen, Theoretische Informatik, Künstliche Intelligenz, AIlogic; c… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Computer Science Logic - Jörg Flum/ Mario Rodriguez-Artalejo
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 7,501
Bestellen
Details beim Anbieter
gesponserter Link
Jörg Flum/ Mario Rodriguez-Artalejo:
Computer Science Logic - Taschenbuch

ISBN: 9783540665366

*Computer Science Logic* - 13th International Workshop CSL'99 8th Annual Conference of the EACSL Madrid Spain September 20-25 1999 Proceedings. Auflage 1999 / Taschenbuch für 53.49 € / Au… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., más costos de envío. (EUR 7.50)
zuklappen (X)
5
Computer Science Logic - 1st Edition (eBook Rental)
Bestellen
bei VitalSource.com
$ 16,50
(ca. € 15,36)
Bestellen
Details und Versand
gesponserter Link
Computer Science Logic - 1st Edition (eBook Rental) - neues Buch

ISBN: 9783540665366

1st Edition, by Jörg Flum; â??Mario RodriguezArtalejo, PRINT ISBN: 9783540665366 E-TEXT ISBN: 9783540481683 Springer Nature eBook Other pricing structure might be available at vitalsourc… Mehr…

new in stock United States. Versandkosten:plus shipping costs., zzgl. Versandkosten
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:

9783540665366


This book constitutes the refereed proceedings of the 13th Annual International Conference on Computer Science Logic, CSL '99, held under the sponsorship of EACSL in Madrid, Spain in September 1999.The 34 revised full papers presented together with five invited contributions were carefully reviewed and sleected from a total of 91 submissions. The papers are organized in sections on descriptive complexity; verification; temporal logic; lambda calculus and linear logic; logic programming, modal logic, and description logic; logic and complexity; lambda calculus and type theory; linear logic, mu calculus, and concurrency; and specification and data refinement.

Detailangaben zum Buch - Computer Science Logic


EAN (ISBN-13): 9783540665366
ISBN (ISBN-10): 3540665366
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1999
Herausgeber: Springer Berlin Heidelberg
600 Seiten
Gewicht: 0,894 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-08-30T18:18:09+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-25T21:06:37+01:00 (Vienna)
ISBN/EAN: 9783540665366

ISBN - alternative Schreibweisen:
3-540-66536-6, 978-3-540-66536-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: flum, goos, rodriguez, rodríguez
Titel des Buches: logic computer science, international conference computer science, conference proceedings, proceedings the 8th international, spain madrid, lecture notes computer science, proceedings international workshop, computer science 1st edition ebook

Daten vom Verlag:

Autor/in: Jörg Flum; Mario Rodriguez-Artalejo
Titel: Lecture Notes in Computer Science; Computer Science Logic - 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
Verlag: Springer; Springer Berlin
588 Seiten
Erscheinungsjahr: 1999-09-08
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 588 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; AI Logic; Computer Science Logic; Division; Erlang; Formal Logic; Mathematical Logic; Programming Theory; Resolution; complexity; complexity theory; databases; interactive theorem proving; lambda calculus; programming language; theorem proving; Theory of Computation; Formal Languages and Automata Theory; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Mathematical Logic and Foundations; Künstliche Intelligenz; Mathematik: Logik; Mathematische Grundlagen; EA

Invited Papers.- Topological Queries in Spatial Databases.- The Consistency Dimension, Compactness, and Query Learning.- Descriptive and Parameterized Complexity.- Logical Specification of Operational Semantics.- Constraint-Based Analysis of Broadcast Protocols.- Contributed Papers.- Descriptive Complexity Theory for Constraint Databases.- Applicative Control and Computational Complexity.- Applying Rewriting Techniques to the Verification of Erlang Processes.- Difference Decision Diagrams.- Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States.- Verifying Liveness by Augmented Abstraction.- Signed Interval Logic.- Quantitative Temporal Logic.- An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces.- Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting.- Closed Reductions in the ?-Calculus.- Kripke Resource Models of a Dependently-Typed, Bunched ?-Calculus (Extended Abstract).- A Linear Logical View of Linear Type Isomorphisms.- Choice Logic Programs and Nash Equilibria in Strategic Games.- Resolution Method for Modal Logic with Well-Founded Frames.- A NExpTime-Complete Description Logic Strictly Contained in C 2.- A Road-Map on Complexity for Hybrid Logics.- MonadicNLIN and Quantifier-Free Reductions.- Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games.- Fixpoint Alternation and the Game Quantifier.- Lower Bounds for Space in Resolution.- Program Schemes, Arrays, Lindström Quantifiers and Zero-One Laws.- Open Least Element Principle and Bounded Query Computation.- A Universal Innocent Game Model for the Böhm Tree Lambda Theory.- Anti-Symmetry of Higher-Order Subtyping.- Safe Proof Checking in Type Theory with Y.- Monadic Presentations ofLambda Terms Using Generalized Inductive Types.- A P-Time Completeness Proof for Light Logics.- On Guarding Nested Fixpoints.- A Logical Viewpoint on Process-Algebraic Quotients.- A Truly Concurrent Semantics for a Simple Parallel Programming Language.- Specification Refinement with System F.- Pre-logical Relations.- Data-Refinement for Call-By-Value Programming Languages.- Tutorials.- Tutorial on Term Rewriting.- Tutorial on Interactive Theorem Proving Using Type Theory.
Includes supplementary material: sn.pub/extras
< zum Archiv...