izvor podataka: crosbi
!
Data Structures for Non-Clausal Propositional Reasoning in C++ (CROSBI ID 464866)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Majorinc, Kazimir
Data Structures for Non-Clausal Propositional Reasoning in C++ // MIPRO 97 20th International Convention Proceedings / Biljanović, Skala, Ribarić, Budin (ur.). Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 1997. str. 171-172-x
Podaci o odgovornosti
Majorinc, Kazimir
engleski
Data Structures for Non-Clausal Propositional Reasoning in C++
We present data structures for modelling of non-clausal propositional formulas and theories in the C plus plus.
satisfiability; data structures; C plus plus
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
171-172-x.
1997.
objavljeno
Podaci o matičnoj publikaciji
MIPRO 97 20th International Convention Proceedings
Biljanović, Skala, Ribarić, Budin
Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO
Podaci o skupu
Mipro 97
predavanje
01.01.1997-01.01.1997
Opatija, Hrvatska
Povezanost rada
Povezane osobe
Povezane ustanove