Logics Workbench 1.0

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/3-540-69778-0_8 ◽

1998 ◽

pp. 35-35 ◽

Cited By ~ 4

Author(s):

Peter Balsiger ◽

Alain Heuerding ◽

Stefan Schwendimann

Download Full-text