Handbook of Philosophical Logic di Dov M. Gabbay edito da Springer
Alta reperibilità

Handbook of Philosophical Logic

Volume 8

Editore:

Springer

EAN:

9781402006654

ISBN:

1402006659

Pagine:
354
Formato:
Paperback
Lingua:
Inglese
Acquistabile con o la

Descrizione Handbook of Philosophical Logic

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.

Spedizione gratuita
€ 176.66
o 3 rate da € 58.89 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Handbook of Philosophical Logic
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti