Predicate Answer Set Programming with Coinduction: Coinductive SLDNF and its applcation to Predicate Answer Set Programming

Wo zu kaufen (1) Eigenschaften
Gesponsert
Predicate Answer Set Programming with Coinduction, Fachbücher
Galaxus.de
68.00 EUR
Preis aktualisiert am: 02-05-2026 17:10:42
Siehe Produktangebot

Allgemein

Marke
Richard Min
ISBN
Richard Min 3843365822

Eigenschaften

Ähnliche Produkte

Switching Theory: Insight through Predicate Logic
Switching Theory: Insight through Predicate Logic
Produkt anzeigen
Predicates and Their Subjects (Studies in Linguistics and Philosophy) (Studies in Linguistics and Philosophy, 74, Band 74)
Predicates and Their Subjects (Studies in Linguistics and Philosophy) (Studies in Linguistics and Philosophy, 74, Band 74)
Produkt anzeigen
Pronominal Complex Predicates in Colloquial Persian
Pronominal Complex Predicates in Colloquial Persian
Produkt anzeigen
Predicate Compounding in the Yi-Group: The Continuum of Grammaticalization (Studia Typologica [STTYP], 3, Band 3)
Predicate Compounding in the Yi-Group: The Continuum of Grammaticalization (Studia Typologica [STTYP], 3, Band 3)
Produkt anzeigen
Deductive verification of object-oriented software : dynamic frames dynamic logic and predicate abstraction
Deductive verification of object-oriented software : dynamic frames dynamic logic and predicate abstraction
Produkt anzeigen
Strategies of Reflexivisation and the Meaning of Predicates
Strategies of Reflexivisation and the Meaning of Predicates
Produkt anzeigen
Menü