Have SPASS with OCC1N = g

Logic for Programming and Automated Reasoning - Lecture Notes in Artificial Intelligence ◽

10.1007/3-540-44404-1_9 ◽

2007 ◽

pp. 114-130

Author(s):

Christian G. Fermüller ◽

Georg Moser

Download Full-text