Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Program Development in Computational Logic
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
A Decade of Research Advances in Logic-Based Program Development, Lecture Notes in Computer Science 3049
| ISBN: | 3540221522 |
|---|---|
| ISBN 13: | 9783540221524 |
| Herausgeber: | Maurice Bruynooghe/Kung-Kiu Lau |
| Verlag: | Springer Verlag GmbH |
| Umfang: | viii, 539 S. |
| Erscheinungsdatum: | 17.06.2004 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
62,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic]()
Computational Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Algorithmic Language and Program Development]()
Algorithmic Language and Program Development
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: Implementing Functional Logic Programs]()
Implementing Functional Logic Programs
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic and Computational Complexity]()
Logic and Computational Complexity
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic and Set Theory]()
Computational Logic and Set Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic]()
Logic
21,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic in Multi-Agent Systems]()
Computational Logic in Multi-Agent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Intellectics and Computational Logic]()
Intellectics and Computational Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic in Multi-Agent Systems]()
Computational Logic in Multi-Agent Systems
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: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design & Development of Information Literacy Programs]()
Design & Development of Information Literacy Programs
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Algorithmic Language and Program Development]()
Algorithmic Language and Program Development
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic in Multi-Agent Systems]()
Computational Logic in Multi-Agent Systems
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: 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: Logic and Program Semantics]()
Logic and Program Semantics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic]()
Computational Logic
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Development of Logic in Adulthood]()
The Development of Logic in Adulthood
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Theorem Proving and Program Development]()
Interactive Theorem Proving and Program Development
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic and Set Theory]()
Computational Logic and Set Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic in Multi-Agent Systems]()
Computational Logic in Multi-Agent Systems
53,49 €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: Program Development by Specification and Transformation]()
Program Development by Specification and Transformation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic in Multi-Agent Systems]()
Computational Logic in Multi-Agent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic and Proof Theory]()
Computational Logic and Proof Theory
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: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
62,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Intelligence in Drug Development]()
Computational Intelligence in Drug Development
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic]()
Logic
22,90 €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-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic in Multi-Agent Systems]()
Computational Logic in Multi-Agent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic]()
Logic
230,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic in Multi-Agent Systems]()
Computational Logic in Multi-Agent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic]()
Logic
34,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Program Development]()
Formal Program Development
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Development of Logic in Adulthood]()
The Development of Logic in Adulthood
106,99 €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: Managing Human Resource Development Programs]()
Managing Human Resource Development Programs
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)]()
Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)
171,19 €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
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic in Multi-Agent Systems]()
Computational Logic in Multi-Agent Systems
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic in Multi-Agent Systems]()
Computational Logic in Multi-Agent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Intellectics and Computational Logic]()
Intellectics and Computational Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Development Measurement Programs]()
Software Development Measurement Programs
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: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Molecular Logic and Computational Synthetic Biology]()
Molecular Logic and Computational Synthetic Biology
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Software Development Measurement Programs]()
Software Development Measurement Programs
69,54 €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: Computational Logic and Quantum Logic]()
Computational Logic and Quantum Logic
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: From Computational Logic to Computational Biology]()
From Computational Logic to Computational Biology
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Successful Prevention and Youth Development Programs]()
Successful Prevention and Youth Development Programs
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic CL 2000]()
Computational Logic CL 2000
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mathematical Methods in Program Development]()
Mathematical Methods in Program Development
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 Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018)]()
Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018)
149,79 €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: Computational Logic and Proof Theory]()
Computational Logic and Proof Theory
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: Computational Logic in Multi-Agent Systems]()
Computational Logic in Multi-Agent Systems
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: Modified Branching Programs and Their Computational Power]()
Modified Branching Programs and Their Computational Power
53,49 €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: Entrepreneurial Development Program, financial independence]()
Entrepreneurial Development Program, financial independence
55,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic]()
Logic
25,90 €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 of Programs]()
Logic of Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Theorem Proving and Program Development]()
Interactive Theorem Proving and Program Development
85,59 €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: Computational Logic: Logic Programming and Beyond]()
Computational Logic: Logic Programming and Beyond
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Program Development]()
Automatic Program Development
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic: Logic Programming and Beyond]()
Computational Logic: Logic Programming and Beyond
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Program Development]()
Automatic Program Development
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic in Multi-Agent Systems]()
Computational Logic in Multi-Agent Systems
49,22 €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: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
51,36 €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]()
Logic
31,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Development by Refinement]()
Program Development by Refinement
213,99 €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: Logic Based Program Synthesis and Transformation]()
Logic Based Program Synthesis and Transformation
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: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)]()
Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)
171,19 €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 and Algorithms in Computational Linguistics 2018 (LACompLing2018)]()
Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018)
149,79 €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: In-Service Teacher Development Programs]()
In-Service Teacher Development Programs
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic]()
Logic
29,90 €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: Skill Development Programs in India]()
Skill Development Programs in India
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
