DaftarIsitemplate

Call Number

SEM-281

Title

Well-foundedness is sufficient for completeness of ordered paramodulation, Hal. 456-470

Author

Miquel Bofill, Albert Rubio;

Publisher

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

Subject

Location