Leonard and Piotr Borowik Bolc

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Many-Valued Logics 2: Automated Reasoning and Practical Applications: Pt. 2978-3-54O-645O7-8
(3-54O-645O7-1)
2003

A. B. · A. P. · L a · L B · L.P. · Leonard A.

Leonard, and Rehak, Peter Mitchell