Login / Signup

Resolution for Many-Valued Logics.

Matthias BaazChristian G. Fermüller
Published in: LPAR (1992)
Keyphrases