0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (12)
  • -
Status
Brand

Showing 1 - 12 of 12 matches in All Departments

Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP,... Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017, Revised Selected Papers (Paperback, 1st ed. 2018)
Dietmar Seipel, Michael Hanus, Salvador Abreu
R1,469 Discovery Miles 14 690 Ships in 10 - 15 working days

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 - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel,... Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers (Paperback, 2014 ed.)
Michael Hanus, Ricardo Rocha
R2,175 Discovery Miles 21 750 Ships in 10 - 15 working days

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.

Applications of Declarative Programming and Knowledge Management - 17th International Conference, INAP 2007, and 21st Workshop... Applications of Declarative Programming and Knowledge Management - 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007, Revised Selected Papers (Paperback, 2009 ed.)
Dietmar Seipel, Michael Hanus, Armin Wolf
R1,469 Discovery Miles 14 690 Ships in 10 - 15 working days

This volume contains a selection of papers presented at the 17th International Conference on Applications of Declarative Programming and Knowledge M- agement INAP 2007 and the 21st Workshop on Logic Programming WLP 2007, which were held jointly in Wu ]rzburg, Germany, during October 4-6, 2007. Declarative programming is anadvancedparadigmforthe modelingandso- ing of complex problems. This speci?cation method has become more and more attractiveoverthelastyears, e.g., inthedomainsofdatabases, fortheprocessing 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 impactof programmablelogic solversin the Internetsociety, its underlying te- nologies, and leading-edge applications in industry, commerce, government, and societal services. The WorkshopsonLogicProgrammingarethe annualmeeting 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. The topics of the selected papers of this year's joint conference concentrated on three currently important ?elds: constraint programming and constraint solving, databases and data mining, and declarative programming with logic languages. Duringthelastcoupleofyearsalotofresearchhasbeenconductedonthe- ageof declarativeprogrammingfor databases and data mining. Reasoning about knowledgewrappedinrules, databases, ortheWeballowsonetoexploreintere- ing hidden knowledge.Declarativetechniques for the transformation, deduction, induction, visualization, or querying of knowledge, or data mining techniques for exploring knowledge have the advantage of high transparency and better maintainability compared to procedural approaches.

Logic-Based Program Synthesis and Transformation - 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18,... Logic-Based Program Synthesis and Transformation - 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers (Paperback, 2009 ed.)
Michael Hanus
R1,469 Discovery Miles 14 690 Ships in 10 - 15 working days

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.

Practical Aspects of Declarative Languages - 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007,... Practical Aspects of Declarative Languages - 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings (Paperback, 2007 ed.)
Michael Hanus
R1,485 Discovery Miles 14 850 Ships in 10 - 15 working days

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, colocated with POPL 2007, the Symposium on Principles of Programming Languages.

The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed including implementational issues and innovative applications in areas such as database management, software engineering, functional logic, decision support systems, constraint programming, model checking, probabilistic programming, Java and Prolog programming.

Applications of Declarative Programming and Knowledge Management - 15th International Conference on Applications of Declarative... 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 (Paperback, 2005 ed.)
Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein
R1,580 Discovery Miles 15 800 Ships in 10 - 15 working days

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 - 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September... Algebraic and Logic Programming - 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (Paperback, 1997 ed.)
Michael Hanus, Jan Heering, Karl Meinke
R1,569 Discovery Miles 15 690 Ships in 10 - 15 working days

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.

Algebraic and Logic Programming - 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996.... Algebraic and Logic Programming - 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings (Paperback, 1996 ed.)
Michael Hanus, Mario Rodriguez- Artalejo
R1,600 Discovery Miles 16 000 Ships in 10 - 15 working days

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.

Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023,... Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings (Paperback, 1st ed. 2023)
Michael Hanus, Daniela Inclezan
R2,198 Discovery Miles 21 980 Ships in 10 - 15 working days

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.

Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings... Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings (Paperback, 1st ed. 2022)
Michael Hanus, Atsushi Igarashi
R1,830 Discovery Miles 18 300 Ships in 10 - 15 working days

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 Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020,... Functional and Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers (Paperback, 1st ed. 2021)
Michael Hanus, Claudio Sacerdoti Coen
R1,469 Discovery Miles 14 690 Ships in 10 - 15 working days

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.

Problemloesen Mit PROLOG (German, Paperback, 2nd 2.Aufl. 1987 ed.): Michael Hanus Problemloesen Mit PROLOG (German, Paperback, 2nd 2.Aufl. 1987 ed.)
Michael Hanus
R1,204 Discovery Miles 12 040 Ships in 10 - 15 working days
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
JCB Hiker HRO Composite Toe Safety Boot…
R1,809 Discovery Miles 18 090
LG 20MK400H 19.5" Monitor WXGA LED Black
R1,826 R1,446 Discovery Miles 14 460
Loot
Nadine Gordimer Paperback  (2)
R383 R318 Discovery Miles 3 180
Casio LW-200-7AV Watch with 10-Year…
R999 R884 Discovery Miles 8 840
Multi-Functional Bamboo Standing Laptop…
R1,399 R669 Discovery Miles 6 690
Loot
Nadine Gordimer Paperback  (2)
R383 R318 Discovery Miles 3 180
Bestway Inflatable Donut Ring
R120 R105 Discovery Miles 1 050
Maze Runner: Chapter II - The Scorch…
Thomas Brodie-Sangster, Nathalie Emmanuel, … Blu-ray disc R52 R32 Discovery Miles 320
Elvis
Baz Luhrmann Blu-ray disc R191 R171 Discovery Miles 1 710
Carbon City Zero - A Collaborative Board…
Rami Niemi Game R630 Discovery Miles 6 300

 

Partners