DaftarIsitemplate

Call Number

SEM-228

Title

F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme (134-146)

Author

Michael Kifer Georg Lausen;

Publisher

Subject

Location