Michael Hanus – författare

Visar alla böcker från författaren Michael Hanus. Handla med fri frakt och snabb leverans.

22 produkter

Kategorier

22 produkter

Del 10997 - Lecture Notes in Computer Science
Declarative Programming and Knowledge Management
Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
AvDietmar Seipel,Michael Hanusm. fl.
Häftad, Engelska, 2018
558 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The contributions were organized in topical sections named: constraints; declarative systems; and functional and logic programming.
Declarative Programming and Knowledge Management
Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
AvSalvador Abreu,Michael Hanusm. fl.
E-bok
Engelska, 2018
710 kr
Läs direkt efter köp
This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The contributions were organized in topical sections named: constraints; declarative systems; and functional and logic programming.
Del 12560 - Lecture Notes in Computer Science
Functional and Constraint Logic Programming
28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
AvMichael Hanus,Claudio Sacerdoti Coen
Häftad, Engelska, 2021
574 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020.Due to the COVID-19, the workshop was held online. From the 19 full papers submitted, 8 were accepted for presentation at the workshop. The accepted papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging.
Functional and Constraint Logic Programming
28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
AvClaudio Sacerdoti Coen,Michael Hanus
E-bok
Engelska, 2021
739 kr
Läs direkt efter köp
This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020.
Due to the COVID-19, the workshop was held online.
From the 19 full papers submitted, 8 were accepted for presentation at the workshop. The accepted papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging.
Del 13215 - Lecture Notes in Computer Science
Functional and Logic Programming
16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings
AvMichael Hanus,Atsushi Igarashi
Häftad, Engelska, 2022
744 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.
Functional and Logic Programming
16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings
AvAtsushi Igarashi,Michael Hanus
E-bok
Engelska, 2022
903 kr
Läs direkt efter köp
This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.
The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.
Del 13880 - Lecture Notes in Computer Science
Practical Aspects of Declarative Languages
25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
AvMichael Hanus,Daniela Inclezan
Häftad, Engelska, 2023
833 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic Programming.
Practical Aspects of Declarative Languages
25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
AvDaniela Inclezan,Michael Hanus
E-bok
Engelska, 2023
1 037 kr
Läs direkt efter köp
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic Programming.
Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
AvMichael Hanus,Daniela Inclezan
Engelska, 2023
646 kr
Skickas inom 5-8 vardagar
Del 8439 - Lecture Notes in Computer Science
Declarative Programming and Knowledge Management
Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
AvMichael Hanus,Ricardo Rocha
Häftad, Engelska, 2014
552 kr
Skickas inom 10-15 vardagar
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.
Declarative Programming and Knowledge Management
Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
AvRicardo Rocha,Michael Hanus
E-bok
PDF, Engelska, 2014
650 kr
Läs direkt efter köp
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.
Problemlösen mit PROLOG
AvMichael Hanus
Häftad, Tyska, 1987
462 kr
Skickas inom 5-8 vardagar
Applications of Declarative Programming and Knowledge Management
15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
AvDietmar Seipel,Michael Hanusm. fl.
Häftad, Engelska, 2005
574 kr
Skickas inom 10-15 vardagar
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci?cation method has become more and more attractive in recent years, for example, in the domains of databases, for the processing of natural language, for the modeling and processing of combinatorial problems, and for establishing knowledge-based systems for the Web. The INAP conferences provide a forum for intensive discussions of appli- tions of important technologies around logic programming, constraint problem solving, and closely related advanced software. They comprehensively cover the impact of programmable logic solvers in the Internet society, its underlying te- nologies, and leading-edge applications in industry, commerce, government, and social services. The Workshops on Logic Programming are the annual meeting of the Society for Logic Programming (GLP e.V.). They bring together researchers interested in logic programming, constraint programming, and related areas like databases and arti?cial intelligence. Previous workshops have been held in Germany, A- tria, and Switzerland. Thetopicsoftheselectedpapersofthisyear’sjointconferenceconcentrateon three currently important ?elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.
Applications of Declarative Programming and Knowledge Management
15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
AvOskar Bartenstein,Ulrich Geskem. fl.
E-bok
PDF, Engelska, 2005
739 kr
Läs direkt efter köp
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci?cation method has become more and more attractive in recent years, for example, in the domains of databases, for the processing of natural language, for the modeling and processing of combinatorial problems, and for establishing knowledge-based systems for the Web. The INAP conferences provide a forum for intensive discussions of appli- tions of important technologies around logic programming, constraint problem solving, and closely related advanced software. They comprehensively cover the impact of programmable logic solvers in the Internet society, its underlying te- nologies, and leading-edge applications in industry, commerce, government, and social services. The Workshops on Logic Programming are the annual meeting of the Society for Logic Programming (GLP e.V.). They bring together researchers interested in logic programming, constraint programming, and related areas like databases and arti?cial intelligence. Previous workshops have been held in Germany, A- tria, and Switzerland. Thetopicsoftheselectedpapersofthisyear’sjointconferenceconcentrateon three currently important ?elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.
Algebraic and Logic Programming
5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings
AvMichael Hanus,Mario Rodriguez-Artalejo
Häftad, Engelska, 1996
574 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled "Toward the Concurrent Implementation of Computational Systems". The volume is divided into topical sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting, and types.
Algebraic and Logic Programming
6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
AvMichael Hanus,Jan Heeringm. fl.
Häftad, Engelska, 1997
574 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.
Practical Aspects of Declarative Languages
9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
AvMichael Hanus
Häftad, Engelska, 2006
574 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, co-located with POPL 2007, the Symposium on Principles of Programming Languages. The 19 revised full papers presented together with two invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed.
Practical Aspects of Declarative Languages
9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
AvMichael Hanus
E-bok
PDF, Engelska, 2007
739 kr
Läs direkt efter köp
Logic-Based Program Synthesis and Transformation
18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
AvMichael Hanus
Häftad, Engelska, 2009
574 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
Logic-Based Program Synthesis and Transformation
18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
AvMichael Hanus
E-bok
PDF, Engelska, 2009
739 kr
Läs direkt efter köp
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
Applications of Declarative Programming and Knowledge Management
17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
AvDietmar Seipel,Michael Hanusm. fl.
Häftad, Engelska, 2009
574 kr
Skickas inom 10-15 vardagar
This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007. The 16 thoroughly revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions. The topics covered are constraints; databases and data mining; extensions of logic programming; and system demonstrations.
Applications of Declarative Programming and Knowledge Management
17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
AvArmin Wolf,Michael Hanusm. fl.
E-bok
PDF, Engelska, 2009
739 kr
Läs direkt efter köp
This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007. The 16 thoroughly revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions. The topics covered are constraints; databases and data mining; extensions of logic programming; and system demonstrations.

Företag, bibliotek eller offentlig verksamhet?

Michael Hanus – författare

Declarative Programming and Knowledge Management

Declarative Programming and Knowledge Management

Functional and Constraint Logic Programming

Functional and Constraint Logic Programming

Functional and Logic Programming

Functional and Logic Programming

Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Declarative Programming and Knowledge Management

Declarative Programming and Knowledge Management

Problemlösen mit PROLOG

Applications of Declarative Programming and Knowledge Management

Applications of Declarative Programming and Knowledge Management

Algebraic and Logic Programming

Algebraic and Logic Programming

Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Applications of Declarative Programming and Knowledge Management

Applications of Declarative Programming and Knowledge Management

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration