Portfolio theorem proving and prover runtime prediction for geometry

Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag

Резултати

еНаука > Резултати > Portfolio theorem proving and prover runtime prediction for geometry

Назив:	Portfolio theorem proving and prover runtime prediction for geometry
Аутори:	Nikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag
Година:	2019
Публикација:	Annals of Mathematics and Artificial Intelligence
ISSN:	1012-2443 Annals of Mathematics and Artificial Intelligence Претражи идентификатор
Издавач:	Springer
Тип резултата:	Научни чланак
Колација:	vol. 85 br. 2-4 str. 119-146
DOI:	10.1007/s10472-018-9598-6
WoS-ID:	000459336900004
Scopus-ID:	2-s2.0-85053454787
URI:	https://enauka.gov.rs/handle/123456789/344555
Извор метаподатака:	Migrirano iz RIS podataka
М-категорија:	22M22 - Рад у истакнутом међ. часопису

5
SCOPUS^TM

5
OpenCitations

5
WEB OF SCIENCE^TM

Алт метрика

Dimensions

Пронађи DOI

Проналажење DOI у сервису CrossRef-у на основу мета-података у запису. Приказаће се DOI (и метаподаци) чији се подаци највише поклапају. ОПРЕЗ - то не мора бити та публикација.

Unpaywall

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