Many-Valued Logics 2: Automated Reasoning and Practical Applications

Practical

von: Leonard Bolc · Piotr Borowik

Gebunden

ISBN-13: 978-3-540-64507-8

ISBN-10: 3-540-64507-1

Springer · 2003

Siehe auch:
2010TaschenbuchMany-Valued Logics 2: Automated Reasoning and Practical Applications