Dov M. (Hrsg.) Gabbay
Handbook of Philosophical Logic: Volume 8
Buch
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 logi…
Mehr
Beschreibung
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.
CHF 239.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V105:
Folgt in ca. 15 Arbeitstagen
Produktdetails
Weitere Autoren: Guenthner, Franz (Hrsg.)
- ISBN: 978-1-4020-0665-4
- EAN: 9781402006654
- Produktnummer: 1387835
- Verlag: Springer Nature
- Sprache: Englisch
- Erscheinungsjahr: 2002
- Seitenangabe: 354 S.
- Masse: H24.4 cm x B16.7 cm x D2.7 cm 703 g
- Auflage: 2. A.
- Reihenbandnummer: 8
- Gewicht: 703
100 weitere Werke von Dov M. (Hrsg.) Gabbay:
Bewertungen
0 von 0 Bewertungen
Anmelden
Keine Bewertungen gefunden. Seien Sie der Erste und teilen Sie Ihre Erkenntnisse mit anderen.