Handbook of Philosophical Logic - Volume 8

Gabbay, D. M. und Franz Guenthner:

ISBN 10: 1402006659 / ISBN 13: 9781402006654

Editore: Kluwer Academic Publishers, 2002

Riguardo questo articolo

XIII, 354 Seiten Innen sehr sauberer, guter Zustand. Hardcover, Kunstledereinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Kanten sehr leicht berieben. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). B04-01-03C|A75 Sprache: Englisch Gewicht in Gramm: 726. Codice articolo 2020813

Dati bibliografici

Titolo: Handbook of Philosophical Logic - Volume 8

Casa editrice: Kluwer Academic Publishers

Data di pubblicazione: 2002

Legatura: 23,5 x 15,5 cm

Condizione: Gut

Edizione: 2nd edition, 2. Auflage.

Descrizione articolo

Riassunto:

logics databases modality Algorithmic Discourse rep­ New logics. Generaltheory Proceduralap­ proof resentation. Generic theo­ of reasoning. proachtologic Direct com- remprovers Non-monotonic putation on systems linguisticinput Non­ Resolving Loopchecking. Intrinsiclogical Negation by monotonic ambigui- Non-monotonic discipline for failure.Deduc­ reasoning ties. Machine decisionsabout AI. Evolving tivedatabases translation. loops. Faults and com­ Document insystems. municating classification. databases Relevance theory Probabilistic logicalanalysis Realtimesys­ Expert sys­ Semantics for and fuzzy oflanguage tems tems.Machine logicprograms logic learning Intuitionistic Quantifiers in Constructive Intuitionistic Horn clause logic logic reasoning and logicisabetter logic is really proof theory logical basis intuitionistic.

Recensione:

"The best starting point for exploring any of the topics in logic"
                                                                 Encyclopaedia Britannica