Rezultati

eNauka >  Rezultati >  Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3
Naziv: Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3
Autori: Marić, Filip  ; Janičić, Predrag  ; Maliković, Marko
Godina: 2015
Publikacija: Automated Deduction - CADE-25, 25th International Conference on Automated Deduction
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Pretraži identifikator
Izdavač: Berlin : Springer
Tip rezultata: Konferencijski rad
ISBN: 978-3-319-21400-9 Pretraži identifikator
Kolacija: str. 256-271
DOI: 10.1007/978-3-319-21401-6_17
WoS-ID: 000363947500017
Scopus-ID: 2-s2.0-84984652741
URI: https://enauka.gov.rs/handle/123456789/456088
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

2
SCOPUSTM
1
OpenCitations
2
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

Google ScholarTM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.