( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Implementation of a Tableau-based Satisfiability Checker for HS3.

, , и . ICTCS/CILC, том 1949 из CEUR Workshop Proceedings, стр. 326-340. CEUR-WS.org, (2017)

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.

Bruno Remo Guidotti

Sauter Guido

Curt Guido

Isabella Guido

Luca Guido

 

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

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions., , , и . Ann. Pure Appl. Log., 161 (3): 289-304 (2009)Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics., , , и . J. Multiple Valued Log. Soft Comput., 28 (2-3): 217-249 (2017)A Road Map of Interval Temporal Logics and Duration Calculi., , и . J. Appl. Non Class. Logics, 14 (1-2): 9-54 (2004)Decidability of the interval temporal logic ABBar over the natural numbers, , , и . CoRR, (2009)Multi-Objective Evolutionary Simultaneous Feature Selection and Outlier Detection for Regression., , , и . IEEE Access, (2021)Interval Temporal Logics: a Journey., , , и . Bull. EATCS, (2011)(Un)supervised Univariate Feature Extraction and Selection for Dimensional Data., , , , и . itaDATA, том 3606 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Towards Automatic Fingerprinting of Groundwater Aquifers., , , и . CITI, том 1309 из Communications in Computer and Information Science, стр. 73-84. Springer, (2020)Fuzzy Halpern and Shoham's interval temporal logics., , , , и . Fuzzy Sets Syst., (марта 2023)Special Issue - Selected Papers from the 26th International Symposium on Temporal Representation and Reasoning., , и . Inf. Comput., (2021)