wyszukanych pozycji: 10
Problemlösen Mit PROLOG
ISBN: 9783519125419 / Niemiecki / Miękka / 1987 / 224 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
162,13 zł |
Algebraic and Logic Programming: 5th International Conference, Alp '96, Aachen, Germany, September 25 - 27, 1996. Proceedings
ISBN: 9783540617358 / Angielski / Miękka / 1996 / 348 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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,... This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germ...
|
|
cena:
192,74 zł |
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Paper
ISBN: 9783642005145 / Angielski / Miękka / 2009 / 196 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains a selection of the papers presented at the 18th Inter- tionalSymposiumonLogic-BasedProgramSynthesisandTransformation(LOP- STR 2008) held during July 17-18, 2008 in Valencia, Spain. Information about ? the conference can be found at http: //www.informatik.uni-kiel.de/ mh/ lopstr08. Previous LOPSTR symposia were held in Lyngby (2007), Venice (2006 and 1999), London (2005 and 2000), Verona (2004), Uppsala (2003), Madrid (2002), Paphos (2001), Manchester (1998, 1992, and 1991), Leuven (1997), Stockholm (1996), Arnhem (1995), Pisa (1994), and Louvain-la-Neuve (1993). The aim...
This volume contains a selection of the papers presented at the 18th Inter- tionalSymposiumonLogic-BasedProgramSynthesisandTransformation(LOP- STR 200...
|
|
cena:
192,74 zł |
Declarative Programming and Knowledge Management: Declarative Programming Days, Kdpd 2013, Unifying Inap, Wflp, and Wlp, Kiel, Germany, September 11-1
ISBN: 9783319089089 / Angielski / Miękka / 2014 / 251 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International ...
|
|
cena:
185,07 zł |
Algebraic and Logic Programming: 6th International Joint Conference, Alp '97 - Hoa '97, Southhampton, Uk, September 3-5, 1997. Proceedings
ISBN: 9783540634591 / Angielski / Miękka / 1997 / 297 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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. This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd Internation...
|
|
cena:
192,74 zł |
Functional and Logic Programming: 16th International Symposium, Flops 2022, Kyoto, Japan, May 10-12, 2022, Proceedings
ISBN: 9783030994600 / Angielski / Miękka / 2022 / 300 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
250,57 zł |
Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
ISBN: 9783540696087 / Angielski / Miękka / 2006 / 342 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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. This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in... |
|
cena:
192,74 zł |
Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
ISBN: 9783031248405 / Angielski / Miękka / 2023 / 313 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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.
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in ...
|
|
cena:
289,13 zł |
Functional and Constraint Logic Programming: 28th International Workshop, Wflp 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
ISBN: 9783030753320 / Angielski / Miękka / 2021 / 145 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
192,74 zł |
Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Log
ISBN: 9783540255604 / Angielski / Miękka / 2005 / 314 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- ...
|
|
cena:
192,74 zł |