Existential quantifiers in the rule body
Cabalar, Pedro 2010 Universität Potsdam
- Link zu diesem Datensatz
-
https://d-nb.info/1217933182
- Titel
-
Existential quantifiers in the rule body
- Art des Inhalts
- Monographie
- Verfassangaben
- Pedro Cabalar ; Gesellschaft für Logische Programmierung e.V.
- Autor
-
Cabalar, Pedro
- Organisation(en)
-
- Gesellschaft für Logische Programmierung e.V.
- Verlag
- Potsdam : Universität Potsdam [2010]
- Jahr
- Erscheinungsdatum: 2010
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:kobv:517-opus-41476
- Sprache
- eng
- Anmerkungen
-
In: Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 59 - 74
- Stand
- 03.12.2025 09:10
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
