Logo Logo
Hilfe
Hilfe
Switch Language to English

Bry, François (1991): Negation in Logic Programming. A Formalization in Constructive Logic. 1st Workshop on Information Systems and Artificial Intelligence: Integration Aspects, Ulm, 19.03.-21.03.1990. Karagiannis, Dimitris (Hrsg.): In: Information Systems and Artificial Intelligence: Integration Aspects, S. 30-46 [PDF, 1MB]

[thumbnail of 8505.pdf]
Vorschau
Download (1MB)
Dokument bearbeiten Dokument bearbeiten