Pretraga
Rezultati
GeoThms - a Web System for Euclidean Constructive Geometry (✓) [2007]
Quaresma, P.; Janičić, Predrag
Learning strategies for mechanised building of decision procedures (✓) [2003]
Jamnik, M.; Janičić, Predrag
The typed Böhm theorem [2001]
Došen, Kosta ; Petrić, Zoran
Intersection and union types in the λ̄μμ̃-calculus [2005]
Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre
The Typed Böhm Theorem [2001]
Došen, Kosta ; Petrić, Zoran
Filteri
Po tipu