( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Satisfiability Testing for Boolean Formulas Using Delta-trees.

, , , , и . Stud Logica, 72 (1): 85-112 (2002)

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.

Francisco Javier Martínez Concha

Antonio Javier González Martínez

Francisco Javier Gonzalez Martinez

Francisco Javier Martinez Torres

Vania Martínez

 

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

A New Electromechanical Analogy Approach Based on Electrostatic Coupling for Vertical Dynamic Analysis of Planar Vehicle Models., , , , и . IEEE Access, (2021)Ubiquitous Applications Comparative: Applications Executed in Server vs. Applications in Client., , , , и . ICUC, том 208 из CEUR Workshop Proceedings, CEUR-WS.org, (2006)Remote Measurement System Using Internet., , и . WebNet, стр. 1671. AACE, (1999)A Web Laboratory for a Basic Electronics Course., , , и . WebNet, стр. 816-821. AACE, (2001)Using Reconfigurable Hardware Through Web Services in Distributed Applications., , , , и . FPL, том 3203 из Lecture Notes in Computer Science, стр. 1110-1112. Springer, (2004)Genetic and Algebraic Algorithms for Classifying the Items of a Likert Questionnaire., , , и . Math. Comput. Sci., 11 (1): 49-59 (2017)Automated vision system for quality inspection of slate slabs., , и . Comput. Ind., (2018)Methodological Extensions for Semantic Business Process Modeling., , , , и . ICEIS (3-2), стр. 410-415. (2008)978-989-8111-38-8.Shape functional optimization with restrictions boosted with machine learning techniques., , , , и . J. Comput. Appl. Math., 234 (8): 2609-2615 (2010)On Congruences and Homomorphisms on Some Non-deterministic Algebras., , , , и . IJCCI, стр. 59-67. INSTICC Press, (2009)