DaftarIsitemplate

Call Number

SEM-281

Title

Combining proof-search and conter-model construction for dciding godel-dummett logic, Hal. 94-110

Author

Dominique Larchey-Wendling;

Publisher

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

Subject

Location