( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Architecture of a Disjunctive Deductive Database System.

, , , , и . APPIA-GULP-PRODE, стр. 141-152. (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Cristinel Sandu

Cristinel Ionut Dobre

 

Другие публикации лиц с тем же именем

Progress Report on the Disjunctive Deductive Database System dlv., , , , и . FQAS, том 1495 из Lecture Notes in Computer Science, стр. 148-163. Springer, (1998)Shape Expressions for Specifying and Extracting Signal Features., , , , и . RV, том 11757 из Lecture Notes in Computer Science, стр. 292-309. Springer, (2019)Sampling of shape expressions with ShapEx., , , , и . MEMOCODE, стр. 118-125. ACM, (2021)Extending Disjunctive Logic Programming by T-norms.. LPNMR, том 1730 из Lecture Notes in Computer Science, стр. 290-304. Springer, (1999)Modeling Java Programs for Diagnosis., , и . ECAI, стр. 171-175. IOS Press, (2000)Specifying and detecting temporal patterns with shape expressions., , , , и . Int. J. Softw. Tools Technol. Transf., 23 (4): 565-577 (2021)Learning and statistical model checking of system response times., , , , , , , , и . Softw. Qual. J., 27 (2): 757-795 (2019)Unification of Bounded Simple Set Terms in Deductive Databases., , и . Logic in Databases, том 1154 из Lecture Notes in Computer Science, стр. 435-453. Springer, (1996)Constrained Training of Recurrent Neural Networks for Automata Learning., , , , , и . SEFM, том 13550 из Lecture Notes in Computer Science, стр. 155-172. Springer, (2022)The dlv System: Model Generator and Advanced Frontends (system description)., , , , , , , , и . WLP, Ludwig Maximilians Universität München, (1997)