Search




Research outputs

Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3   [2015]

Marić, Filip  ; Janičić, Predrag  ; Maliković, Marko

Filters

By type