Some contributions to the metatheory of the Situation Calculus / PIRRI ARDIZZONE, Maria Fiora; Ray, Reiter. - In: JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY. - ISSN 0004-5411. - STAMPA. - 46(1999), pp. 325-361. [10.1145/316542.316545]
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | Some contributions to the metatheory of the Situation Calculus | |
Autori: | ||
Data di pubblicazione: | 1999 | |
Rivista: | ||
Citazione: | Some contributions to the metatheory of the Situation Calculus / PIRRI ARDIZZONE, Maria Fiora; Ray, Reiter. - In: JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY. - ISSN 0004-5411. - STAMPA. - 46(1999), pp. 325-361. [10.1145/316542.316545] | |
Handle: | http://hdl.handle.net/11573/44439 | |
Appartiene alla tipologia: | 01a Articolo in rivista |
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.