Logic of Programs

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

Workshop, ETH Zürich, May-July 1979, Lecture Notes in Computer Science 125

ISBN:	3540111603
ISBN 13:	9783540111603
Herausgeber:	E Engeler
Verlag:	Springer Verlag GmbH
Umfang:	vii, 245 S.
Erscheinungsdatum:	01.11.1981
Produktform:	Kartoniert
Einband:	KT

Artikelnummer: 1497458 Kategorie: Informatik

Beschreibung

Beschreibung

InhaltsangabeOn the duality of dynamic algebras and kripke models.- The deducibility problem in propositional dynamic logic.- PAL - Propositional algorithmic logic.- Propositional dynamic logics of programs: A survey.- On the algorithmic theory of dictionaries.- On the algorithmic properties of concurrent programs.- A survey of the logic of effective definitions.

Das könnte Ihnen auch gefallen …

Logic Program Synthesis from Incomplete Information
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Multiprocessor Execution of Logic Programs
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Non-logic Devices in Logic Processes
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Based Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Signs of Logic
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logics of Programs
37,44 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Program Evaluation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
80,24 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
58,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Elements of Logic
21,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Termination Proofs for Logic Programs
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
A Proposed Software Description Language for Representing Program Logic in XML
47,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Training Programs
49,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Program Verification
320,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic
29,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Evaluation study of IFAD programs in Burundi:case of’PTRPC‘ programs
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Temporal Logic of Programs
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic
210,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Program Modification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fuzzy Logic
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logics of Programs
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Computational Logic and Quantum Logic
35,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Program Evaluation
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Implementing Functional Logic Programs
79,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Program Synthesis from Incomplete Information
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Program Evaluation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Program Specification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Paraconsistent Logic
220,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Outlines of Logic
16,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Program Slicing
49,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic and Program Semantics
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Programs, Norms and Action
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Mathematical Logic
64,15 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Program of Section
15,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Signs of Logic
277,13 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic of Discovery and Logic of Discourse
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
58,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Based Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic
31,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Program Verification
320,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic of Domains
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Parallel Execution of Logic Programs
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
49,22 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Mathematical Logic
96,29 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Program Synthesis and Transformation – Meta-Programming in Logic
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Apollo program
50,88 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Parallel Execution of Logic Programs
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Normalization and Partial Evaluation of Functional Logic Programs
19,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic
22,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic
34,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hilberts Program
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic of Domains
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic of Computation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Thinking Programs
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Program Development in Computational Logic
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Program Evaluation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
49,22 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic in Question
181,89 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Program Evaluation
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic
25,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Mathematical Logic
35,30 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic in Reality
192,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Chapters in Logic
21,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Elements of logic
21,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Program Construction
50,28 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Taiji Logic
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Furry Logic
15,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Crusader Programs
17,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Based Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hilberts Program
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Drawing Programs
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic-Based Program Synthesis and Transformation
51,36 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Non-logic Devices in Logic Processes
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fuzzy Logic
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Thinking Programs
74,89 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Outlines of Logic
18,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Spreadsheet Program
49,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic
21,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic of history
26,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logic Pro
59,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Logics of Programs
50,28 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Live Data Structures in Logic Programs
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb

Logic of Programs

Workshop, ETH Zürich, May-July 1979, Lecture Notes in Computer Science 125

Beschreibung

Das könnte Ihnen auch gefallen …

Logic Program Synthesis from Incomplete Information

Logic Program Synthesis and Transformation

Multiprocessor Execution of Logic Programs

Non-logic Devices in Logic Processes

Logic Based Program Synthesis and Transformation

Signs of Logic

Logics of Programs

Logic-Based Program Synthesis and Transformation

Program Evaluation

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Elements of Logic

Termination Proofs for Logic Programs

A Proposed Software Description Language for Representing Program Logic in XML

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Training Programs

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Program Verification

Logic-Based Program Synthesis and Transformation

Logic

Logic-Based Program Synthesis and Transformation

Evaluation study of IFAD programs in Burundi:case of’PTRPC‘ programs

Temporal Logic of Programs

Logic

Program Modification

Fuzzy Logic

Logics of Programs

Logic Program Synthesis and Transformation

Computational Logic and Quantum Logic

Logic Program Synthesis and Transformation

Program Evaluation

Implementing Functional Logic Programs

Logic Program Synthesis from Incomplete Information

Program Evaluation

Program Specification

Paraconsistent Logic

Outlines of Logic

Program Slicing

Logic and Program Semantics

Logic Programs, Norms and Action

Mathematical Logic

Program of Section

Signs of Logic

Logic of Discovery and Logic of Discourse

Logic-Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation

Logic

Program Verification

Logic of Domains

Parallel Execution of Logic Programs

Logic-Based Program Synthesis and Transformation

Mathematical Logic

Logic Program Synthesis and Transformation – Meta-Programming in Logic

Apollo program

Logic Program Synthesis and Transformation

Parallel Execution of Logic Programs

Normalization and Partial Evaluation of Functional Logic Programs

Logic

Logic

Hilberts Program

Logic of Domains

Logic of Computation

Thinking Programs

Program Development in Computational Logic

Program Evaluation

Logic-Based Program Synthesis and Transformation

Logic in Question

Program Evaluation

Logic

Mathematical Logic

Logic in Reality

Chapters in Logic

Elements of logic

Program Construction