Up a level |
Jump to: Book Section
Number of items: 1.
Book Section
Lanzarone, G.A. and Provetti, Alessandro (1998) Processing temporal and atemporal declarative knowledge in metalogic programming. In: Freire-Nistal, J.L. and Falaschi, M. and Ferro, M.V. (eds.) 1998 Joint Conference on Declarative Programming: APPIA-GULP-PRODE 98. APPIA-GULP-PRODE, pp. 201-214.