iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/cade/MaricJM15.xml
Filip Maric Predrag Janicic Marko Malikovic Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3. 256-271 2015 CADE https://doi.org/10.1007/978-3-319-21401-6_17 conf/cade/2015 db/conf/cade/cade2015.html#MaricJM15