Automated deduction in multiple-valued logics
Reiner Hähnle
Bok Engelsk 1993
Utgitt | Oxford : Clarendon Press , 1993
|
---|---|
Omfang | IX, 172 s. : fig.
|
Emner | |
ISBN | 0198539894
|
Utgitt | Oxford : Clarendon Press , 1993
|
---|---|
Omfang | IX, 172 s. : fig.
|
Emner | |
ISBN | 0198539894
|