Advances in planning as model-checking / Marco Daniele ; advisor: Fausto Giunchiglia ; rewiewers: Limor Fix, Moshe Vardi
Roma, 2000
127 p. ; 24 cm
Anno 2000
In testa al frontespizio: Università degli studi di Roma La Sapienza, Dottorato di ricerca in ingegneria informatica, XII ciclo.


Libro. | Lingua: Inglese. | Paese: Italia. | BID: CFI0544289
Biblioteca Inventario Volume Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze 005607880 1 v. GEN C 15 07334 Mon. moderna prestabile