Towards interoperable mechanized reasoning systems: the logic broker architecture (2000)

Cached

Download Links

by Alessandro Armando
Venue:AI*IA-TABOO Workshop `From Objects to Agents: Evolutionary Trends of Software Systems
Citations:14 - 1 self