William Richter

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

First Order Logic

Geometric Features

Top Venues

Formaliz. Math.

Publications

William Richter, Adam Grabowski, Jesse Alama
Tarski Geometry Axioms. Formaliz. Math. 22 (2) (2014)