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.

 

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

Upside-down deduction.. BDA, стр. 91-. INRIA, (1990)In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming.. CoRR, (2018)Negation in Logic Programming: A Formalization in Constructive Logic.. IS/KI, том 474 из Lecture Notes in Computer Science, стр. 30-46. Springer, (1990)Query Answering in Information Systems with Integrity Constraints.. IICIS, том 109 из IFIP Conference Proceedings, стр. 113-130. Chapman Hall, (1997)On the number of 1-factors of locally finite graphs.. J. Comb. Theory, Ser. B, 34 (1): 48-57 (1983)Discerning Actuality in Backstage - Comprehensible Contextual Aging., , и . EC-TEL, том 7563 из Lecture Notes in Computer Science, стр. 126-139. Springer, (2012)CodeKoan: A Source Code Pattern Search Engine Extracting Crowd Knowledge., , и . CSI-SE@ICSE, стр. 1-8. ACM, (2018)Simulation Subsumption or Déjà vu on the Web (Extended Version), , и . PMS-FB-2008-01. University of Munich, (2007)Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser., и . WLP, стр. 205-216. (1995)Anfragesprachen neu erdacht.. Künstliche Intell., 26 (1): 15-25 (2012)