( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Folding by similarity.

, и . APPIA-GULP-PRODE, стр. 181-195. Departamento de Informática, Universidade de Évora, (2001)

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 José Rubia

José Francisco Aramendi

José Francisco Heitzmann

Francisco José Leon Escapini

Francisco José Paula Lima

 

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

Sintesis de Programas Logicos: Marco Constructivo., и . GULP-PRODE, стр. 497-510. (1995)Named Entity Recognition Through Corpus Transformation and System Combination., , , и . EsTAL, том 3230 из Lecture Notes in Computer Science, стр. 255-266. Springer, (2004)Primeros Pasos hacia un Compilador de UML/OCL., , и . JISBD, стр. 27-32. Universidad de Valladolid, Departamento de Informática, (2000)Object Oriented Software Systems Defined by Constructive Logical Methods., и . APPIA-GULP-PRODE, стр. 125-136. (1998)Towards Rigorous and Effective Type Contracts., и . JISBD, стр. 361-374. (2001)A Method for Compiling and Executing Expressive Assertions., и . IFM, том 2999 из Lecture Notes in Computer Science, стр. 521-540. Springer, (2004)Towards a rigorous and effective functional contract for components., , и . Informatica (Slovenia), (2001)Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving., и . FASE, том 3442 из Lecture Notes in Computer Science, стр. 205-219. Springer, (2005)Folding by similarity., и . APPIA-GULP-PRODE, стр. 181-195. Departamento de Informática, Universidade de Évora, (2001)