Krstić, Sava
VIAF ID: 305571753 ( Personal )
Permalink: http://viaf.org/viaf/305571753
Preferred Forms
- 100 1 _ ‡a Krstic, Sava
-
Works
Title | Sources |
---|---|
Formalisation et developpement d'une tactique reflexive pour la demonstration automatique en coq. | |
Formalizing and Implementing a Reflexive Tactic for Automated Deduction in Coq | |
Kako biti nevidljiv | |
Vojničke razbibrige |