Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus / DE GIACOMO, G., HECTOR J., L., Yves, L.. - STAMPA. - (1997), pp. 1221-1226.
Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
DE GIACOMO, Giuseppe;
1997
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


