Резултати

еНаука >  Резултати >  Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry
Назив: Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry
Аутори: Ðurđević, Sana Stojanović  ; Narboux, Julien; Janičić, Predrag  
Година: 2015
Публикација: Annals of Mathematics and Artificial Intelligence
ISSN: 1012-2443 Annals of Mathematics and Artificial Intelligence Претражи идентификатор
Издавач: Springer
Тип резултата: Научни чланак
Колација: vol. 74 br. 3-4 str. 249-269
DOI: 10.1007/s10472-014-9443-5
WoS-ID: 000357420500001
Scopus-ID: 2-s2.0-84943199139
URI: https://enauka.gov.rs/handle/123456789/545905
Извор метаподатака: Migrirano iz RIS podataka
М-категорија: 
22M22 - Рад у истакнутом међ. часопису

9
SCOPUSTM
8
OpenCitations
12
WEB OF SCIENCETM
Алт метрика
Dimensions
Unpaywall

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