Резултати

еНаука >  Резултати >  Automatic synthesis of decision procedures: A case study of ground and linear arithmetic
Назив: Automatic synthesis of decision procedures: A case study of ground and linear arithmetic
Аутори: Janicic, Predrag  ; Bundy, Alan
Година: 2007
Публикација: Lecture Notes in Computer Science; Towards Mechanized Mathematical Assistants
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Претражи идентификатор
Издавач: Springer
Тип резултата: Научни чланак
Колација: vol. 4573 str. 80-93
DOI: 10.1007/978-3-540-73086-6_7
WoS-ID: 000247859800007
Scopus-ID: 2-s2.0-38049081003
URI: https://enauka.gov.rs/handle/123456789/805219
Извор метаподатака: (Preuzeto iz Nasi u WoS)
М-категорија: 
23M23 - Рад у међ. часопису

Алт метрика
Dimensions

Пронађи DOI
Unpaywall

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