DaftarIsitemplate

Call Number

SEM-379

Title

Proof-tree Transformation Theorems and Their Applications (172-181)

Author

Raghu Ramakrishnan Yehoshua Sagiv Jeffrey D.Ulman Moshe Y.Vardi;

Publisher

Subject

Location