Logic Programming: 22nd International Conference, ICLP...

Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

Monica S. Lam (auth.), Sandro Etalle, Mirosław Truszczyński (eds.)
Որքա՞ն է ձեզ դուր եկել այս գիրքը:
Ինչպիսի՞ն է բեռնված ֆայլի որակը:
Բեռնեք գիրքը` գնահատելու դրա որակը
Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held in Seattle, WA, USA, in August 2006.

The 20 revised full papers and 6 application papers presented together with 2 invited talks, 2 tutorials and special interest papers, as well as 17 poster presentations and the abstracts of 7 doctoral consortium articles, were carefully reviewed and selected from 83 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.

Տարի:
2006
Հրատարակում:
1
Հրատարակչություն:
Springer-Verlag Berlin Heidelberg
Լեզու:
english
Էջեր:
474
ISBN 10:
3540366350
ISBN 13:
9783540366355
Սերիաներ:
Lecture Notes in Computer Science 4079 : Programming and Software Engineering
Ֆայլ:
PDF, 4.80 MB
IPFS:
CID , CID Blake2b
english, 2006
Ներբեռնել (pdf, 4.80 MB)
Փոխարկումը դեպի կատարվում է
Փոխարկումը դեպի ձախողվել է

Հիմնական արտահայտություններ