Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulous
68,41 €
Nested Sequent Calculi for Conditional Logics. - Generalized DEL-Sequents. - Deciding the Bisimilarity Relation between Datalog Goals. - PTL: A Propositional Typicality Logic. - The View-Update Problem for Indefinite Databases.
Jetzt bei Ebay:
