SUBJECTS (1-3 of 3)
Automatisches Beweisverfahren.
1
book jacket

Automated deduction in geometry 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers
International Workshop on Automated Deduction in Geometry (4th : 2002 : Linz, Austria)
Berlin ; New York : Springer, c2004
c2004
電子書

Location: Mathematics Library
2
book jacket

Logics in artificial intelligence European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings
European Workshop JELIA'98 (1998 : Dagstuhl, Germany)
Berlin ; New York : Springer, ©1998
1998
電子書

Location: Mathematics Library
3
book jacket

The resolution calculus
Leitsch, Alexander, 1952-
Berlin ; New York : Springer, ©1997
1997
電子書

Location: Mathematics Library