Automated Deduction in Multiple-Valued Logics (International Series of Monographs on Computer Science)

by Reiner Hähnle Hardcover details (United Kingdom). ISBN: 978-0-19-853989-6 ISBN-10: 0-19-853989-4 Clarendon Press · 1994