Angebote zu "Logic" (18 Treffer)

Kategorien

Shops

ISILC - Proof Theory Symposion
38,49 € *
ggf. zzgl. Versand

Erscheinungsdatum: 01.01.1976, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: ISILC - Proof Theory Symposion, Titelzusatz: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974, Auflage: 1975, Redaktion: Diller, J. // Müller, G. H., Verlag: Springer Berlin Heidelberg // Springer-Verlag GmbH, Sprache: Englisch // Deutsch, Schlagworte: Mathematische Grundlagen, Rubrik: Mathematik // Grundlagen, Seiten: 396, Informationen: Paperback, Gewicht: 598 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 19.02.2020
Zum Angebot
ISILC - Logic Conference
53,49 € *
ggf. zzgl. Versand

ISILC - Logic Conference ab 53.49 € als Taschenbuch: Proceedings of the International Summer Institute and Logic Colloquium Kiel 1974. Auflage 1975. Aus dem Bereich: Bücher, Wissenschaft, Mathematik,

Anbieter: hugendubel
Stand: 19.02.2020
Zum Angebot
Normalization and Partial Evaluation of Functio...
19,99 € *
ggf. zzgl. Versand

Normalization and Partial Evaluation of Functional Logic Programs ab 19.99 € als gebundene Ausgabe: Kiel Computer Science Series. Aus dem Bereich: Bücher, English, International, Gebundene Ausgaben,

Anbieter: hugendubel
Stand: 19.02.2020
Zum Angebot
ISILC - Proof Theory Symposion
37,49 € *
ggf. zzgl. Versand

ISILC - Proof Theory Symposion ab 37.49 € als Taschenbuch: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium Kiel 1974. Auflage 1975. Aus dem Bereich: Bücher, Wissenschaft, Mathematik,

Anbieter: hugendubel
Stand: 19.02.2020
Zum Angebot
Normalization and Partial Evaluation of Functio...
19,99 € *
ggf. zzgl. Versand

Normalization and Partial Evaluation of Functional Logic Programs ab 19.99 EURO Kiel Computer Science Series

Anbieter: ebook.de
Stand: 19.02.2020
Zum Angebot
ISILC - Proof Theory Symposion
37,49 € *
ggf. zzgl. Versand

ISILC - Proof Theory Symposion ab 37.49 EURO Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium Kiel 1974. Auflage 1975

Anbieter: ebook.de
Stand: 19.02.2020
Zum Angebot
ISILC - Logic Conference
53,49 € *
ggf. zzgl. Versand

ISILC - Logic Conference ab 53.49 EURO Proceedings of the International Summer Institute and Logic Colloquium Kiel 1974. Auflage 1975

Anbieter: ebook.de
Stand: 19.02.2020
Zum Angebot
Foundations of Information and Knowledge Systems
66,34 € *
ggf. zzgl. Versand

This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012.The 12 regular and 8 short papers, presented together with two invited talks in full paper-length, were carefully reviewed and selected from 53 submissions. The contributions cover foundational aspects of information and knowledge systems. These include the application of ideas, theories or methods from specific disciplines to information and knowledge systems, such as discrete mathematics, logic and algebra, model theory, informaiton theory, complexity theory, algorithmics and computation, statistics, and optimization.

Anbieter: Dodax
Stand: 19.02.2020
Zum Angebot
Declarative Programming and Knowledge Management
51,36 € *
ggf. zzgl. Versand

This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and the 27th Workshop on Logic Programming (WLP 2013), held in Kiel, Germany, in September 2013. The 15 papers presented were carefully and reviewed and selected for inclusion in this book. They cover the following topics: logic programming, constraint problem solving, programmable logic solvers, functional programming and constraint programming.

Anbieter: Dodax
Stand: 19.02.2020
Zum Angebot