Peter J. Stuckey – författare
Visar alla böcker från författaren Peter J. Stuckey. Handla med fri frakt och snabb leverans.
11 produkter
Logic-Based Program Synthesis and Transformation
28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Av Fred Mesnard, Peter J. Stuckey
Häftad, 2019
568 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 …
Logic-Based Program Synthesis and Transformation
28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Av Peter J. Stuckey, Fred Mesnard
E-bok, 2019
732 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018. The 11 revised full papers were carefully reviewed and selected from 29 …
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings
Häftad, 2021
568 kr
Lägg i varukorg
This volume LNCS 12735 constitutes the papers of the 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2021, which was held in Vienna, Austria, in 2021. Due to the COVID-19 pandemic the conference was held online. …
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings
E-bok, 2021
739 kr
Lägg i varukorg
This volume LNCS 12735 constitutes the papers of the 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2021, which was held in Vienna, Austria, in 2021. Due to the COVID-19 pandemic the conference was held online. …
Functional and Logic Programming
7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
Av Yukiyoshi Kameyama, Peter J. Stuckey
Häftad, 2004
568 kr
Lägg i varukorg
This volume contains the proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004), held in Nara, Japan, April 7-9, 2004 at the New Public Hall, Nara. FLOPS is a forum for research on all issues concerning functional progr- mingandlogicprogramming. …
Functional and Logic Programming
7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
Av Peter J. Stuckey, Yukiyoshi Kameyama
E-bok, 2004
755 kr
Lägg i varukorg
Logic Programming
18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings
Häftad, 2002
551 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002.The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected from …
Computational Logic - CL 2000
First International Conference London, UK, July 24–28, 2000 Proceedings
Av Peter J. Stuckey, Yehoshua Sagiv m. fl.
E-bok, 2003
739 kr
Lägg i varukorg
These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where …
Logic Programming
18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings
E-bok, 2003
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002. The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected …
Computational Logic — CL 2000
First International Conference London, UK, July 24–28, 2000 Proceedings
Av John Lloyd, Veronica Dahl m. fl.
2000
669 kr
Lägg i varukorg
These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where …
Principles and Practice of Constraint Programming
14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings
E-bok, 2008
1622 kr
Lägg i varukorg
This volume contains the proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008) held in Sydney, Australia, September 14–18, 2008. The conference was held in conjunction with the International Conference on Automated Planning and Scheduling …
