Media type: E-Book Title: Solving Practical Reasoning Poblems with Extended Disjunctive Logic Programming Contributor: Herre, Heinrich [VerfasserIn]; Wagner, Gerd [VerfasserIn] imprint: Leipzig: Universität Leipzig, 1996 Published in: Report ; 1996,8 Extent: 1 Online-Ressource Language: English Identifier: RVK notation: ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik ST 120 : Grundlagen der Informatik Origination: Footnote: Access State: Open Access