Logic Programming (e-bog) af -
Niemela, Ilkka (redaktør)

Logic Programming e-bog

436,85 DKK (inkl. moms 546,06 DKK)
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 current research in logic programming, including theory, functional and constraint logic programmi...
E-bog 436,85 DKK
Forfattere Niemela, Ilkka (redaktør)
Forlag Springer
Udgivet 24 august 2007
Genrer Computer programming / software engineering
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9783540746102
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 current research in logic programming, including theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.