Synthesizing advanced transaction models using the situation calculus
Iluju Kiringa, Alfredo GabaldonVolume:
35
Language:
english
Pages:
56
DOI:
10.1007/s10844-009-0093-8
Date:
October, 2010
File:
PDF, 800 KB
english, 2010