Negation in Logic Programming

Home | Browse | Advanced Search | About Open Access LMU | Contact

Clear Cookie - decide language by browser settings

Login
Create Account

Faculties
Persons
Subjects
Ludovico-Maximilianea
Keimelion
MALTE
- Old Prints
- Graphical Collection Karl Jakob Hirsch

Bry, François (1991): Negation in Logic Programming. A Formalization in Constructive Logic. 1st Workshop on Information Systems and Artificial Intelligence: Integration Aspects, 19.03.-21.03.1990, Ulm.

Metadaten exportieren

BibTeX
EndNote
HTML
Reference Manager
Text Citation

Autor(en) recherchieren

BASE
- Bry, François
Google Scholar
- Bry, François
Scirus
- Bry, François

Preview

PDF
1632Kb

Item Type:	Conference or Workshop Item (Paper)
Published in:	Karagiannis, Dimitris (ed.) . (1991): Information Systems and Artificial Intelligence: Integration Aspects. , pp. 30-46
Collections:	Mathematics, Computer Science and Statistics
Subjects:	500 Science > 510 Mathematics
URN:	urn:nbn:de:bvb:19-epub-8505-6
Signature:	UBM:1601/E LNCS 474 31599
ID Code:	8505
Deposited On:	17. Dec 2008 13:20
Last Modified:	22. May 2012 09:45

Repository Staff Only: item control page