Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Logic and Program Semantics
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday, Lecture Notes in Computer Science 7230 – Programming and Software Engineering
| ISBN: | 3642294847 |
|---|---|
| ISBN 13: | 9783642294846 |
| Herausgeber: | Robert L Constable/Alexandra Silva |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xiii, 357 S., 45 s/w Illustr., 357 p. 45 illus. |
| Erscheinungsdatum: | 11.04.2012 |
| Auflage: | 1/2012 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Implementing Functional Logic Programs]()
Implementing Functional Logic Programs
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parallel Execution of Logic Programs]()
Parallel Execution of Logic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Procedural Semantics for Hyperintensional Logic]()
Procedural Semantics for Hyperintensional Logic
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Understanding Semantics]()
Understanding Semantics
69,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Based Program Synthesis and Transformation]()
Logic Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Metadata and Semantics]()
Metadata and Semantics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Predicate Calculus and Program Semantics]()
Predicate Calculus and Program Semantics
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Constructive Semantics]()
Constructive Semantics
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multiprocessor Execution of Logic Programs]()
Multiprocessor Execution of Logic Programs
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parallel Execution of Logic Programs]()
Parallel Execution of Logic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Database Semantics]()
Database Semantics
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics]()
Semantics
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics]()
Semantics
21,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Neighborhood Semantics for Modal Logic]()
Neighborhood Semantics for Modal Logic
48,14 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dynamic Semantics]()
Dynamic Semantics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Based Program Synthesis and Transformation]()
Logic Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Social Semantics]()
Social Semantics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation - Meta-Programming in Logic]()
Logic Program Synthesis and Transformation – Meta-Programming in Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Live Data Structures in Logic Programs]()
Live Data Structures in Logic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics in Acquisition]()
Semantics in Acquisition
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Statistical Semantics]()
Statistical Semantics
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concrete Semantics]()
Concrete Semantics
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics and Truth]()
Semantics and Truth
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Algebraic Approaches to Program Semantics]()
Algebraic Approaches to Program Semantics
93,08 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introducing Semantics]()
Introducing Semantics
52,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics and Beyond]()
Semantics and Beyond
174,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dynamic Semantics]()
Dynamic Semantics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Functional Semantics]()
Functional Semantics
179,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic and Engineering of Natural Language Semantics]()
Logic and Engineering of Natural Language Semantics
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics and Pragmatics]()
Semantics and Pragmatics
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics and Pragmatics]()
Semantics and Pragmatics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Naturalized Semantics]()
Naturalized Semantics
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics - Interfaces]()
Semantics – Interfaces
54,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Structures for Semantics]()
Structures for Semantics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Social Semantics]()
Social Semantics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Termination Proofs for Logic Programs]()
Termination Proofs for Logic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics 3]()
Semantics 3
490,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
62,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic of Programs]()
Temporal Logic of Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic of Programs]()
Logic of Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Development in Computational Logic]()
Program Development in Computational Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics and Comprehension]()
Semantics and Comprehension
109,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics and Truth]()
Semantics and Truth
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Programs, Norms and Action]()
Logic Programs, Norms and Action
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis from Incomplete Information]()
Logic Program Synthesis from Incomplete Information
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kotarbi?ski: Logic, Semantics and Ontology]()
Kotarbi?ski: Logic, Semantics and Ontology
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Alternatives in Semantics]()
Alternatives in Semantics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Holistic Semantics]()
Holistic Semantics
76,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concrete Semantics]()
Concrete Semantics
60,98 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics in Databases]()
Semantics in Databases
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics 1]()
Semantics 1
550,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics in Acquisition]()
Semantics in Acquisition
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Based Program Synthesis and Transformation]()
Logic Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Understanding Semantics]()
Understanding Semantics
32,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics and Lexicography]()
Semantics and Lexicography
189,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: GeoSpatial Semantics]()
GeoSpatial Semantics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Contemporary Research in Philosophical Logic and Linguistic Semantics]()
Contemporary Research in Philosophical Logic and Linguistic Semantics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Postcolonial Semantics]()
Postcolonial Semantics
104,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Constructive Semantics]()
Constructive Semantics
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics]()
Semantics
129,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Metadata and Semantics]()
Metadata and Semantics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: GeoSpatial Semantics]()
GeoSpatial Semantics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Applied Semantics]()
Applied Semantics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: An Essay in Universal Semantics]()
An Essay in Universal Semantics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics 2]()
Semantics 2
520,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Normalization and Partial Evaluation of Functional Logic Programs]()
Normalization and Partial Evaluation of Functional Logic Programs
19,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic and Engineering of Natural Language Semantics]()
Logic and Engineering of Natural Language Semantics
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics in Action]()
Semantics in Action
129,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: GeoSpatial Semantics]()
GeoSpatial Semantics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Alternatives in Semantics]()
Alternatives in Semantics
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Statistical Semantics]()
Statistical Semantics
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics in Databases]()
Semantics in Databases
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics - Theories]()
Semantics – Theories
54,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Biblical Semantics]()
Biblical Semantics
45,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Musical Semantics]()
Musical Semantics
101,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Procedural Semantics for Hyperintensional Logic]()
Procedural Semantics for Hyperintensional Logic
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
