Nonclassical Logics and Information Processing
Editat de David Pearce, Heinrich Wansingen Limba Engleză Paperback – 22 iul 1992
Preț: 288.80 lei
Preț vechi: 361.01 lei
-20%
Puncte Express: 433
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540557456
ISBN-10: 3540557458
Pagini: 184
Ilustrații: IX, 175 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.29 kg
Ediția:1992
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540557458
Pagini: 184
Ilustrații: IX, 175 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.29 kg
Ediția:1992
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Algebraic aspects of the relational knowledge representation: Modal relation algebras.- A logic for memory.- Actions with preconditions and postconditions.- Testclasses and closed world assumptions for non-horn theories.- Reasoning with negative information, II: Hard negation, strong negation and logic programs.- Lindenbaum-algebraic semantics of logic programs.- Conditional logics and cumulative logics.- Semantics of nonmonotonic reasoning in logic programming.- Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic.- Cut-elimination in logics with definitional reflection.