DaftarIsitemplate

Call Number

SEM-281

Title

Hylores 1.0: direct resolution fo hybrid logics, Hal. 156-160

Author

Carlos Arecess and Juan Hegulabehere;

Publisher

Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002

Subject

Location