Proof assistants: History, ideas and future

Verfasser / Beitragende:
[H. Geuvers]
Ort, Verlag, Jahr:
2009
Enthalten in:
Sadhana, 34/1(2009-02-01), 3-25
Format:
Artikel (online)
ID: 453673201