From post

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.

 

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

Sustained Models and Sustained Answers in First-Order Databases., и . DAISD, том LSI/93-25-R из Report de recerca, стр. 267-286. Universitat Politecnica de Catalunya (UPC), (1993)A Prolog-like Paradigm for Reasoning in First-Order Theories., и . GULP, стр. 217-236. (1993)An Abductive Proof Procedure for Hypothetical Reasoning in Computational Theories.. DAISD, том LSI/92/19 из Report de recerca, стр. 249-274. Universitat Politecnica de Catalunya (UPC), (1992)Towards the Understanding of the Human Genome: A Holistic Conceptual Modeling Approach., , , , и . IEEE Access, (2020)A Conceptual Model-Based Approach to Improve the Representation and Management of Omics Data in Precision Medicine., , , , и . IEEE Access, (2021)Improving the Semantics of a Conceptual Schema of the Human Genome by Incorporating the Modeling of SNPs., , , , и . IC3K, том 272 из Communications in Computer and Information Science, стр. 23-37. Springer, (2010)Model-Based Engineering Applied to the Interpretation of the Human Genome., , , , , и . The Evolution of Conceptual Modeling, том 6520 из Lecture Notes in Computer Science, стр. 306-330. Springer, (2008)Sobre la enseñanza des las bases de datos: teoría y diseño., , , и . JIDBD, стр. 55-64. Universidade da Coruña, Facultade de Informática, (1996)A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases., , , и . DAISD, том LSI/92/19 из Report de recerca, стр. 199-216. Universitat Politecnica de Catalunya (UPC), (1992)Consistency Verification of Deductive Database Schemes., и . DAISD, том LSI/93-25-R из Report de recerca, стр. 287-307. Universitat Politecnica de Catalunya (UPC), (1993)