Band 8
Handbook of Philosophical Logic Volume 8
Aus der Reihe
Handbook of Philosophical Logic
-
- Hardcover
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
-
Verlag:Springer Netherland
- Springer 81,99 €
- Springer Netherland 156,99 € ausgewählt
-
Auflage:Second Edition 2002
- 1. Auflage 48,99 €
- 1. Auflage 187,99 €
- Second Edition 2005 185,99 €
- Softcover reprint of the original 1st ed. 1984 119,99 €
- Second Edition 2002 138,99 €
- Second Edition 2002 138,99 €
- Second Edition 2002 139,99 €
- Second Edition 2002 142,99 €
- Second Edition 2002 156,99 € ausgewählt
- Second Edition 2002 168,99 €
- Softcover reprint of the original 1st ed. 1983 48,99 €
- Second Edition 2003 138,99 €
- Second Edition 2011 139,99 €
- Second Edition 2011 139,99 €
- Softcover reprint of the original 1st ed. 2014 93,99 €
- Second Edition 2001 138,99 €
- Second Edition 2001 138,99 €
- Second Edition 2001 138,99 €
- Softcover reprint of the original 1st ed. 1989 48,99 €
156,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
21.10.2012
Herausgeber
Dov M. Gabbay + weitereVerlag
Springer NetherlandSeitenzahl
354
Maße (L/B/H)
23,5/15,5/2,1 cm
Gewicht
584 g
Auflage
Second Edition 2002
Sprache
Englisch
ISBN
978-94-010-3919-2
suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard ware). Theprinciplesgoverningtheinteractionofseveralprocesses,forexample, areabstractansimilartoprinciplesgoverningthecooperationoftwolarge organisation.Adetailedrulebasedeffectivebutrigidbureaucracyisvery muchsimilartoacomplexcomputerprogramhandlingandmanipulating data. Myguessisthattheprinciplesunderlyingoneareverymuchthe sameasthoseunderlyingtheother. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist willwakeuponemorningwiththerealisationthatheisactuallyakindof formalphilosopher! TheprojectednumberofvolumesforthisHandbookisabout18.The subjecthasevolvedanditsareashavebecomeinterrelatedtosuchanextent thatitnolongermakessensetodedicatevolumestotopics.However,the volumesdofollowsomenaturalgroupingsofchapters. Iwouldliketothankourauthorsarereadersfortheircontributionsand theircommitmentinmakingthisHandbookasuccess. Thanksalsoto ourpublicationadministratorMrsJ.Spurrforherusualdedicationand excellenceandtoKluwerAcademicPublishersfortheircontinuingsupport fortheHandbook. DovGabbay King'sCollegeLondon x Logic II IT Natural Program Artificialin Logic p- language controlspec telligence gramming processing ification, verification, concurrency Temporal Expressive Expressive Planning. Extension of logic poweroftense power for re Time depen Horn clause operators. currentevents. dent data. with time Temporal Specification Eventcalculus. capability. indices. Sepa of tempo- Persistence Eventcalculus. rationofpast ral control. throughtime Temporallogic fromfuture Decisionprob the Frame programming. Problem.Tem lems. Model checking. poral query language. temporal transactions. Modal logic. generalised Actionlogic Beliefrevision. Negation by Multi-modal quantifiers Inferential failure and 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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice