1
Được phát hành 2006
Mục lục: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
lấy văn bản
Điện tử eBook
2
Được phát hành 2008
Mục lục: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
lấy văn bản
Điện tử eBook
3
Được phát hành 2005
Mục lục: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
lấy văn bản
Điện tử eBook
4
Được phát hành 2010
Mục lục: ...Doctoral Symposium -- The Doctoral Symposium at MODELS 2009 -- Catch Me If You Can – Debugging...
lấy văn bản
Điện tử eBook
5
Được phát hành 2014
Mục lục: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
lấy văn bản
Điện tử eBook
6
Được phát hành 2006
Mục lục: ... Contexts -- Can OWL and Logic Programming Live Together Happily Ever After? -- Innovation Detection Based...
lấy văn bản
Điện tử eBook
7
Được phát hành 2014
Mục lục: ...-University Exchange and Cooperation on Doctoral Programs in Southeast Asia: Naoki Umemiya, Akiyoshi Yonezawa...
lấy văn bản
Điện tử eBook