Sciweavers

67
Voted
IANDC
2011

Proof systems that take advice

14 years 3 months ago
Proof systems that take advice
Olaf Beyersdorff, Johannes Köbler, Sebastian
Added 14 May 2011
Updated 14 May 2011
Type Journal
Year 2011
Where IANDC
Authors Olaf Beyersdorff, Johannes Köbler, Sebastian Müller
Comments (0)