Many-Valued Logics 2: Automated Reasoning and Practical Applications
by Leonard Bolc,Piotr Borowik
ISBN 13: 9783642084171
Format: Paperback (316 pages) Publisher: Springer Berlin Heidelberg Published: 19 Feb 2010
Save for later
Many-Valued Logics: Volume 1: Theoretical Foundations
ISBN 13: 9783642081453
Format: Paperback (308 pages) Publisher: Springer Berlin Heidelberg Published: 19 Feb 2010