about
description
im Juni 2007 veröffentlichter wissenschaftlicher Artikel
@de
wetenschappelijk artikel
@nl
наукова стаття, опублікована в червні 2007
@uk
name
User Interaction with the Matita Proof Assistant
@en
User Interaction with the Matita Proof Assistant
@nl
type
label
User Interaction with the Matita Proof Assistant
@en
User Interaction with the Matita Proof Assistant
@nl
prefLabel
User Interaction with the Matita Proof Assistant
@en
User Interaction with the Matita Proof Assistant
@nl
P50
P1476
User Interaction with the Matita Proof Assistant
@en
P2093
Enrico Tassi
P2888
P304
P356
10.1007/S10817-007-9070-5
P577
2007-06-21T00:00:00Z