2 treff

Automated model building
by Ricardo Caferra, Alexander Leitsch and...
Bok Engelsk 2004
Automated deduction in classical and non-classical logics : selected papers
Ricardo Caferra, Gernot Salzer (eds.)
Bok Engelsk 2000