EVA STAR Trefferanzeige

Volltext Volltext.pdf1.pdf (137 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA2140960
Titel Signed formula logic programming: operational semantics and applications.
Autor Calmet, Jacques
Lu, James
Rodriguez, Maria
Schue, Joachim
Institution Fakultät für Informatik (INFORMATIK)
Institut für Algorithmen und Kognitive Systeme (IAKS)
Dokumenttyp Aufsatz in einem Buch / Sammelwerk / Proceedings
Erscheinungsvermerk In: Foundations of intelligent systems. ISMIS '96. Ed.: Z.W. Ras. Berlin 1996. S. 202-211. (Lecture notes in computer science. 1079.)