search result

Cover von Automated deduction in classical and non-classical logics
selected papers
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 1761
Media group: MONOGRAPHIE
Cover von Automated model building
Author: Caferra, Ricardo; Leitsch, Alexander; Peltier, Nicolas Search for this author
Year: 2004
Publisher: Boston, Kluwer
Series: Applied logic series; 31
Media group: MONOGRAPHIE
OPEN V 11.1.0.0