1
Pubblicazione 2006
Sommario: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Testo
Elettronico eBook
2
Pubblicazione 2008
Sommario: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Testo
Elettronico eBook
3
Pubblicazione 2005
Sommario: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Testo
Elettronico eBook
4
Pubblicazione 2010
Sommario: ...Doctoral Symposium -- The Doctoral Symposium at MODELS 2009 -- Catch Me If You Can – Debugging...
Testo
Elettronico eBook
5
Pubblicazione 2014
Sommario: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testo
Elettronico eBook
6
Pubblicazione 2006
Sommario: ... Contexts -- Can OWL and Logic Programming Live Together Happily Ever After? -- Innovation Detection Based...
Testo
Elettronico eBook
7
Pubblicazione 2014
Sommario: ...-University Exchange and Cooperation on Doctoral Programs in Southeast Asia: Naoki Umemiya, Akiyoshi Yonezawa...
Testo
Elettronico eBook