URBiVA: Uniform Reduction to Bit-Vector Arithmetic

Marić, Filip; Janičić, Predrag

Резултати

еНаука > Резултати > URBiVA: Uniform Reduction to Bit-Vector Arithmetic

Назив:	URBiVA: Uniform Reduction to Bit-Vector Arithmetic
Аутори:	Marić, Filip ; Janičić, Predrag
Година:	2010
Публикација:	Lecture Notes in Computer Science, Automated Reasoning, International Joint Conference on Automated Reasoning IJCAR 2010
ISSN:	0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Претражи идентификатор
Издавач:	Springer
Тип резултата:	Научни чланак
ISBN:	978-3-642-14202-4 Претражи идентификатор
Колација:	vol. 6173 str. 346-352
DOI:	10.1007/978-3-642-14203-1_29
WoS-ID:	000286904900029
Scopus-ID:	2-s2.0-77955245910
URI:	https://enauka.gov.rs/handle/123456789/558267
Извор метаподатака:	(Preuzeto iz Nasi u WoS) Migracija
М-категорија:	Мп категорија ће бити приказана накнадно.

8
SCOPUS^TM

5
OpenCitations

11
WEB OF SCIENCE^TM

Алт метрика

Dimensions

Пронађи DOI

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

Unpaywall

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