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

Documenti analoghi

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