Many-Valued Logics 2: Automated Reasoning and Practical Applications

Reasoning

von Leonard Bolc

Taschenbuch

EAN=ISBN-13: 978-3-642-08417-1

ISBN-10: 3-642-08417-6

Springer Berlin Heidelberg · 2010

Siehe auch:
2003Gebundene AusgabeMany-Valued Logics 2: Automated Reasoning and Practical Applications