Login / Signup

The Inverse Method for Many-Valued Logics.

Laura KovácsAndrei MantsivodaAndrei Voronkov
Published in: MICAI (1) (2013)
Keyphrases