Резултати

еНаука >  Резултати >  Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs
Назив: Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs
Аутори: Stojanović Đurđević, Sana  
Година: 2013
Публикација: Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry ADG 2012
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Претражи идентификатор
Издавач: Springer
Тип резултата: Конференцијски рад
ISBN: 978-3-642-40671-3 Претражи идентификатор
Колација: str. 181-192
DOI: 10.1007/978-3-642-40672-0_12
WoS-ID: 000345004100012
Scopus-ID: 2-s2.0-84885237097
URI: https://enauka.gov.rs/handle/123456789/380129
Извор метаподатака: Migrirano iz RIS podataka
М-категорија: 
Мп категорија ће бити приказана накнадно.

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

Google ScholarTM

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