Ergebnisse für: Logic Programming
Hier findest Du Bücher, die sich mit Logic Programming beschäftigen.
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 ...
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 ...
This book constitutes the refereed proceedings of the 24th International Conference on Logic Programming, ICLP 2008, held in Udine, Italy, in December 2008. The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop on Answer Set Program...
This book constitutes the refereed proceedings of the 24th International Conference on Logic Programming, ICLP 2008, held in Udine, Italy, in December 2008. The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop on Answer Set Program...
This volume contains the proceedings of two Russian
conferences on logic programming, held in 1990 in Irkutsk
and in 1991 in St. Petersburg. The aim of the conferences
was to bring together researchers from the Russian and the
international logic programming communities. Topics covered
in the ...
Logic Programming was effectively defined as a discipline in the early seventies. It is only during the early to mid eighties that books, conferences and journals devoted entirely to Logic Programming began to appear. Consequently, much of the work done during this first crucial decade in Marseilles...
This volume contains the proceedings of two Russian
conferences on logic programming, held in 1990 in Irkutsk
and in 1991 in St. Petersburg. The aim of the conferences
was to bring together researchers from the Russian and the
international logic programming communities. Topics covered
in the ...