Резултати

еНаука >  Резултати >  Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3
Назив: Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3
Аутори: Marić, Filip  ; Janičić, Predrag  ; Maliković, Marko
Година: 2015
Публикација: Automated Deduction - CADE-25, 25th International Conference on Automated Deduction
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Претражи идентификатор
Издавач: Berlin : Springer
Тип резултата: Конференцијски рад
ISBN: 978-3-319-21400-9 Претражи идентификатор
Колација: 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
Извор метаподатака: Migrirano iz RIS podataka
М-категорија: 
Мп категорија ће бити приказана накнадно.

2
SCOPUSTM
1
OpenCitations
2
WEB OF SCIENCETM
Алт метрика
Dimensions
Unpaywall

Google ScholarTM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.