Many-Valued Logics 2: Automated Reasoning and Practical Applications
von:
Leonard Bolc
·
Piotr Borowik
Gebunden
Details (
Deutschland
)
ISBN-13: 978-3-540-64507-8
ISBN-10: 3-540-64507-1
Springer
· 2003
Siehe auch:
2010
Taschenbuch
Many-Valued Logics 2: Automated Reasoning and Practical Applications