( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Object Oriented Software Systems Defined by Constructive Logical Methods.

, и . APPIA-GULP-PRODE, стр. 125-136. (1998)

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

 

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

Towards Rigorous and Effective Type Contracts., и . JISBD, стр. 361-374. (2001)Object Oriented Software Systems Defined by Constructive Logical Methods., и . APPIA-GULP-PRODE, стр. 125-136. (1998)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)Constructing Recursions by Similarity., , и . J. Braz. Comp. Soc., 9 (1): 17-26 (2003)A Method for Compiling and Executing Expressive Assertions., и . IFM, том 2999 из Lecture Notes in Computer Science, стр. 521-540. Springer, (2004)Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving., и . FASE, том 3442 из Lecture Notes in Computer Science, стр. 205-219. Springer, (2005)Towards a rigorous and effective functional contract for components., , и . Informatica (Slovenia), (2001)Folding by similarity., и . APPIA-GULP-PRODE, стр. 181-195. Departamento de Informática, Universidade de Évora, (2001)