Angebote zu "Logic" (21 Treffer)

Kategorien

Shops

Declarative Programming and Knowledge Management
52,80 € *
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 AT
Stand: 21.01.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: 21.01.2020
Zum Angebot
Foundations of Information and Knowledge Systems
68,20 € *
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 AT
Stand: 21.01.2020
Zum Angebot
ISILC - Logic Conference
52,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 01.12.1975, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: ISILC - Logic Conference, Titelzusatz: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974, Auflage: 1975, Redaktion: Müller, G. H. // Oberschelp, A. // Potthoff, K., Verlag: Springer Berlin Heidelberg // Springer-Verlag GmbH, Sprache: Englisch // Französisch, Schlagworte: Mathematische Grundlagen, Rubrik: Mathematik // Grundlagen, Seiten: 664, Informationen: Paperback, Gewicht: 990 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 21.01.2020
Zum Angebot
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: 21.01.2020
Zum Angebot
Foundations of Information and Knowledge Systems
71,97 € *
ggf. zzgl. Versand

This volume contains the articles presented at the 6th International Symposium on Foundationsof Informationand KnowledgeSystems (FoIKS 2010)which was held in So?a, Bulgaria during February 15 19, 2010. The FoIKS symposia provide a biennial forum for presenting and discussing theoreticalandappliedresearchoninformationandknowledgesystems.Thegoal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2010 solicited original contributions dealing with any foundational aspects of information and knowledge systems. This included submissions that apply ideas, theories or methods from speci?c disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics, and optimization. Previous FoIKS symposia were held in Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, Schloss Salzau near Kiel (Germany) in 2002,and Burg/Spreewaldnear Berlin (Germany) in 2000.FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East West collaboration in the ?eld of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. The FoIKS symposia are a forum for intense discussions. Speakers are given su?cient time to present their ideas and results within the larger context of their research. Furthermore, participants are asked in advance to prepare a ?rst response to a contribution of another author.

Anbieter: Dodax
Stand: 21.01.2020
Zum Angebot
Foundations of Information and Knowledge Systems
71,97 € *
ggf. zzgl. Versand

This volume contains the articles presented at the 6th International Symposium on Foundationsof Informationand KnowledgeSystems (FoIKS 2010)which was held in So?a, Bulgaria during February 15 19, 2010. The FoIKS symposia provide a biennial forum for presenting and discussing theoreticalandappliedresearchoninformationandknowledgesystems.Thegoal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2010 solicited original contributions dealing with any foundational aspects of information and knowledge systems. This included submissions that apply ideas, theories or methods from speci?c disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics, and optimization. Previous FoIKS symposia were held in Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, Schloss Salzau near Kiel (Germany) in 2002,and Burg/Spreewaldnear Berlin (Germany) in 2000.FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East West collaboration in the ?eld of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. The FoIKS symposia are a forum for intense discussions. Speakers are given su?cient time to present their ideas and results within the larger context of their research. Furthermore, participants are asked in advance to prepare a ?rst response to a contribution of another author.

Anbieter: Dodax AT
Stand: 21.01.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: 21.01.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, Ratgeber, Computer & Internet,

Anbieter: hugendubel
Stand: 21.01.2020
Zum Angebot