( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Prolog Based Description Logic Reasoning.

, , и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 455-469. Springer, (2008)

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.

Andreas Péterffy

István Péter

Szabolcs Péteri

Tanja Elisabeth Peters

George Gershwins und Jerome Kerns Musicalsongs: ihre Ähnlichkeit, Wahrnehmung und musikalische Struktur. Uni Köln, (2008)

Jillian Petersen

Diversity and ecology of chemosynthetic symbioses in deep-sea invertebrates. Uni Bremen, (2009)
 

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

Symposium of Young Scientists on Intellignet Systems - Preface., , , , , и . Acta Cybern., 18 (4): 557-560 (2008)Interfacing Engines and Schedulers in OR-Parallel Prolog Systems., , и . PARLE (2), том 506 из Lecture Notes in Computer Science, стр. 439-453. Springer, (1991)Efficient description logic reasoning in Prolog: The DLog system., и . Theory Pract. Log. Program., 9 (3): 343-414 (2009)Static Type Inference for the Q language using Constraint Logic Programming., , и . ICLP (Technical Communications), том 17 из LIPIcs, стр. 119-129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Perspectives of logic programming.. IMYCS, том 281 из Lecture Notes in Computer Science, стр. 200-213. Springer, (1986)Prolog Based Description Logic Reasoning., , и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 455-469. Springer, (2008)Applications of the Aurora Parallel Prolog System to Computational Molecular Biology., , , и . ILPS, стр. 353-369. MIT Press, (1993)Performance Analysis of the Aurora Or-Parallel Prolog System.. NACLP, стр. 713-732. MIT Press, (1989)Plagiarism Detection in Source Programs Using Structural Similarities., и . Acta Cybern., 19 (1): 191-216 (2009)Towards automatic semantic integration., , и . IESA, стр. 795-806. Springer, (2007)