DaftarIsitemplate

Call Number

004 Int c

Title

Efficient model checking using tabled resolution, Hal. 143-154

Author

Y.S. Ramakrishna; C.R. Ramakrishnan, IV, Ramakrishnan;

Publisher

Springer, 1997

Subject

Location