Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 1999

6 Settembre 1999

The proceedings (unique file of 14MB) are the following:

AGP1999

Post navigation

← XIV. VI APPIA-GULP-PRODE (1999), L’Aquila (Italy)

Theory-based resolution and automated set reasoning →