2005 | ||
---|---|---|
3 | EE | Keith L. Clark, Peter J. Robinson, Silvana Zappacosta-Amboldi: Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper). CLIMA VI 2005: 186-205 |
2002 | ||
2 | EE | Silvana Zappacosta-Amboldi: Distributed Implementation of a Connection Graph Based on Cylindric Set Algebra Operators. FAABS 2002: 133-145 |
1983 | ||
1 | Jim Cunningham, Silvana Zappacosta-Amboldi: Software Tools for First-Order Logic. Softw., Pract. Exper. 13(11): 1019-1025 (1983) |
1 | Keith L. Clark | [3] |
2 | Jim Cunningham (R. James Cunningham) | [1] |
3 | Peter J. Robinson | [3] |