First-order theorem proving modulo equations
By: Ulrich Wertz
Contributors: Universität Dortmund
Published: 1992
Language: eng
Notes: Mikroreprod. e. Ms. 124 S.

Thesis (doctoral)--Universität Dortmund, 1992.