Zeitraum
2008 - 2008
Anzahl
1
Co-Autoren
ALC (2008)
J. A. Alonso, M. J. Hidalgo, F. J. Martín–mateos
A formally verified prover for the