Logo Logo
Help
Contact
Switch Language to German

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 (ed.) : In: Information Systems and Artificial Intelligence: Integration Aspects, pp. 30-46 [PDF, 1MB]

[thumbnail of 8505.pdf]
Preview
Download (1MB)

Actions (login required)

View Item View Item