( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Intensional Updates: Abduction via Deduction.

. ICLP, стр. 561-575. MIT Press, (1990)

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.

Francois Bry

François Weirich

François Elvinger

François Franceschi

François Melis

 

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

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)Disjunctive Logic Programming: What Applications Developers Need.. GI Jahrestagung, стр. 74. Springer, (1994)Model Theory and Entailment Rules for RDF Containers, Collections and Reification, , и . (2009)In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming.. Theory Pract. Log. Program., 20 (1): 99-146 (2020)