Login / Signup
Julien Boyer
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Automated Theorem Provers
Proof Search
Expert Systems
Top Venues
Synth.
</>
Publications
</>
Julien Boyer
,
Gabriel Sandu
Erratum to: Between proof and truth.
Synth.
187 (3) (2012)
Julien Boyer
,
Gabriel Sandu
Between proof and truth.
Synth.
187 (3) (2012)