A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs

Stojanović Đurđević, Sana; Marinković, Vesna; Janičić, Predrag

Резултати

еНаука > Резултати > A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs

Назив:	A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
Аутори:	Stojanović Đurđević, Sana ; Marinković, Vesna ; Janičić, Predrag
Година:	2011
Публикација:	Automated Deduction in Geometry, Lecture Notes in Computer Science
ISSN:	0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Претражи идентификатор
Тип резултата:	Научни чланак
Колација:	str. 201-220
DOI:	10.1007/978-3-642-25070-5_12
WoS-ID:	000306300700012
Scopus-ID:	2-s2.0-81755161382
URI:	https://enauka.gov.rs/handle/123456789/414970
Извор метаподатака:	Migrirano iz RIS podataka
М-категорија:	Мп категорија ће бити приказана накнадно.

18
SCOPUS^TM

16
OpenCitations

14
WEB OF SCIENCE^TM

Алт метрика

Dimensions

Пронађи DOI

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

Unpaywall

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