CERES in Many-Valued Logics

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32275-7_1 ◽

2005 ◽

pp. 1-20 ◽

Cited By ~ 4

Author(s):

Matthias Baaz ◽

Alexander Leitsch

Download Full-text