Many-Valued Logics 2
Subtitle: Automated Reasoning and Practical Applications
Publisher: Springer; Springer Berlin Heidelberg
Published: Dec 01, 2010
Format: paperback
Number of pages: 314
ISBN-13: 9783642084171
Notes: Source title: Many-Valued Logics 2: Automated Reasoning and Practical Applications