DaftarIsitemplate

Call Number

SEM-379

Title

A Logic for Object-Oriented Logic Programming (Maier's O-Logic: Revisited) (379-393)

Author

Michel Kifer James Wu;

Publisher

Subject

Location