DaftarIsitemplate

Call Number

004 Int c

Title

Model Checking and transitive-closure logic, Hal. 291-302

Author

Neil Immerman; Moshe Y. Vardi;

Publisher

Springer, 1997

Subject

Location