Detail

Publication date: 01/01/2005

Implementation of dynamic logic programs

Authors

Federico Banti, M. Proietti, José Júlio Alferes, Antonio Brogi,

Publisher Quaderno del Dipartimento di Matematica
Publisher Quaderno del Dipartimento di Matematica