TY  - GEN
AU  - Wenzel,Markus
TI  - Isabelle/Isar - a Generic Framework for Human-Readable Proof Documents
KW  - Matematyka
KW  - oprogramowanie
KW  - kaba
KW  - język
N1  - Tytuł. nagł; Bibliogr. s. 296-297
ER  -