Pregled bibliografske jedinice broj: 6623
Data Structures for Non-Clausal Propositional Reasoning in C++
Data Structures for Non-Clausal Propositional Reasoning in C++ // MIPRO 97 20th International Convention Proceedings / Biljanović, Skala, Ribarić, Budin (ur.).
Opatija, Hrvatska: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 1997. str. 171-172 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 6623 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Data Structures for Non-Clausal Propositional Reasoning in C++
Autori
Majorinc, Kazimir
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
MIPRO 97 20th International Convention Proceedings
/ Biljanović, Skala, Ribarić, Budin - : Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 1997, 171-172
Skup
MIPRO 97
Mjesto i datum
Opatija, Hrvatska, 19.05.1997. - 23.05.1997
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
satisfiability; data structures; C plus plus
Sažetak
We present data structures for modelling of non-clausal propositional formulas and theories in the C plus plus.
Izvorni jezik
Engleski
Znanstvena područja
Kemija
POVEZANOST RADA
Projekti:
119404
Ustanove:
Prirodoslovno-matematički fakultet, Zagreb
Profili:
Kazimir Majorinc
(autor)
