DaftarIsitemplate

Call Number

T-0964 (Softcopy T-0673)

Title

Translasi dari varian logika temporal allen ke RPNL dan RNL-RDC

Author

Muhammad Arzaki;

Publisher

Depok: Fakultas llmu Komputer UI, 2012

Subject

Translation, Allen's temporal logic (ATL), ATL; RPNL, RNI, RDC

Location

FASILKOM-UI;