International Workshop on Program Developmet in Computational Logic
VIAF ID: 220146997249518891008 (Corporate)
Permalink: http://viaf.org/viaf/220146997249518891008
Preferred Forms
Works
Title | Sources |
---|---|
Program development in computational logic : a decade of research advances in logic-based program development |