Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /

Lignende værker

• Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
  af: Chou, Shang-Ching, 1946-
  Udgivet: (1994)
• Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
  Udgivet: (2001)
• Theorem Proving in Higher Order Logics
  af: Hurd, Joe, et al.
  Udgivet: (2020)
• Theorem Proving in Higher Order Logics
  af: Mohamed, Otmane Ait, et al.
  Udgivet: (2020)
• Theorem Proving in Higher Order Logics
  af: Schneider, Klaus, et al.
  Udgivet: (2020)