Veronica Dahl – författare
Visar alla böcker från författaren Veronica Dahl. Handla med fri frakt och snabb leverans.
11 produkter
Logic Grammars
Av Veronica Dahl, Harvey Abramson
E-bok, 2012
755 kr
Lägg i varukorg
Logic grammars have found wide application both in natural language processing and in formal applications such as compiler writing. This book introduces the main concepts involving natural and formal language processing in logic programming, and discusses typical problems which the reader may …
Logic Grammars
Av Harvey Abramson, Veronica Dahl
Häftad, 2013
566 kr
Lägg i varukorg
Logic grammars have found wide application both in natural language processing and in formal applications such as compiler writing. This book introduces the main concepts involving natural and formal language processing in logic programming, and discusses typical problems which the reader may …
Prolog: The Next 50 Years
Av David S. Warren, Veronica Dahl m. fl.
Häftad, 2023
958 kr
Lägg i varukorg
This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer’s team in Marseille. The volume editors, authors, and scientific advisors and reviewers have been the leading researchers and …
Prolog: The Next 50 Years
Av Francesca Rossi, Robert Kowalski m. fl.
E-bok, 2023
1224 kr
Lägg i varukorg
This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer’s team in Marseille. The volume editors, authors, and scientific advisors and reviewers have been the leading researchers and …
Practical Aspects of Declarative Languages
5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings
Av Veronica Dahl, Philip Wadler
Häftad, 2002
566 kr
Lägg i varukorg
The Fifth International Symposium on Practical Aspects of Declarative L- guages (PADL 2003) was held in New Orleans on 13-14 January 2003. It was colocatedwiththe30thAnnualACMSymposiumonPrinciplesofProgramming Languages(POPL2003). We received 57 submissions, a record for PADL. One of the strengths …
Practical Aspects of Declarative Languages
5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings
Av Philip Wadler, Veronica Dahl
E-bok, 2003
755 kr
Lägg i varukorg
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 …
Computational Logic — CL 2000
First International Conference London, UK, July 24–28, 2000 Proceedings
Av John Lloyd, Veronica Dahl m. fl.
2000
668 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
23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
Av Verónica Dahl, Ilkka Niemelä
Häftad, 2007
566 kr
Lägg i varukorg
This book contains the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal. The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium articles cover all issues of …
Logic Programming
23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
Av Ilkka Niemela, Veronica Dahl
E-bok, 2007
739 kr
Lägg i varukorg
