Silvana Zappacosta-Amboldi

Publication Activity (10 Years)

Years Active: 1983-2005
Publications (10 Years): 0

Publications

Keith L. Clark, Peter J. Robinson, Silvana Zappacosta-Amboldi
Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper). CLIMA (2005)
Silvana Zappacosta-Amboldi
Distributed Implementation of a Connection Graph Based on Cylindric Set Algebra Operators. FAABS (2002)
Jim Cunningham, Silvana Zappacosta-Amboldi
Software Tools for First-Order Logic. Softw. Pract. Exp. 13 (11) (1983)