Théorie de la démonstration et sémantique de la programmation logique

Additional Metadata
Publisher	Editions Hermes
Editor	A. Duchaussoy , L. Iturrioz
Organisation	Logic and language
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Apt, K. (1991). Théorie de la démonstration et sémantique de la programmation logique. In A. Duchaussoy & L. Iturrioz (Eds.), Modèles, logiques et systèmes de l'Intelligence artificielle (pp. 183–202). Editions Hermes.

Publication