[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 1489 || A Mechanised Proof System for Relation Algebra Using Display Logic
Dix, Jürgen, del Cerro, Luís Fariñas, Furbach, UlrichVolume:
10.1007/3-
Year:
1998
Language:
english
DOI:
10.1007/3-540-49545-2_18
File:
PDF, 226 KB
english, 1998