| 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. |
|
1MB |
| Dokumententyp: | Konferenzbeitrag (Paper) |
|---|---|
| Veröffentlicht in: | Karagiannis, Dimitris (Hrsg.). (1991): Information Systems and Artificial Intelligence: Integration Aspects. S. 30-46 |
| Fakultät: | Mathematik, Informatik und Statistik > Informatik |
| Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| URN: | urn:nbn:de:bvb:19-epub-8505-6 |
| Signatur: | UBM:1601/E LNCS 474 31599 |
| ID: | 8505 |
| Veröffentlicht am: | 17. Dez. 2008 13:20 |
| Letzte Änderungen: | 29. Apr. 2016 09:03 |
Nur für Administratoren und Editoren: Dokument bearbeiten