Articoli correlati a Handbook of Philosophical Logic (8): Volume 8
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
"The best starting point for exploring any of the topics in logic"
Encyclopaedia Britannica
Contenuti
Editorial Preface; D.M. Gabbay. The Logic of Questions; D. Harrah. Sequent Systems for Modal Logics; H. Wansing. Deontic Logic; L. Åqvist. Deontic Logic and Contrary-to-Dutiesl J. Carmo, A. Jones. Index.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreKluwer Academic Pub
- Data di pubblicazione2002
- ISBN 10 1402006659
- ISBN 13 9781402006654
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine368
- RedattoreGabbay Dov M., Guenthner Franz
- Contatto del produttorenon disponibile
Compra usato
Condizioni: molto buonoXIII, 354 Seiten Innen sehr sauberer...
Visualizza questo articolo
EUR 54,00
EUR 11,28 per la spedizione da Germania a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 170,07
EUR 10,66 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costi
Risultati della ricerca per Handbook of Philosophical Logic (8): Volume 8
Immagini fornite dal venditore
Handbook of Philosophical Logic - Volume 8
Editore:
Kluwer Academic Publishers, 2002
ISBN 10: 1402006659
ISBN 13: 9781402006654
Antico o usato
Rilegato
Da: avelibro OHG, Dinkelscherben, Germania
Valutazione del venditore 5 su 5 stelle
23,5 x 15,5 cm. Condizione: Gut. 2nd edition, 2. Auflage. 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
Quantità: 1 disponibili
Foto dell'editore
Handbook of Philosophical Logic, Vol. 8
Editore:
Kluwer Academic Publishers, Dordrecht, 2002
ISBN 10: 1402006659
ISBN 13: 9781402006654
Antico o usato
Paperback
Da: Green Ink Booksellers, Hay-on-Wye, POWYS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. - Covers a little rubbed, especially to edges, w/ corners bumped and very lightly creased - Book ow/ solid, clean and bright - xiii/354 pages. Codice articolo 634023
Quantità: 1 disponibili
Foto dell'editore
Handbook of Philosophical Logic, 2nd Edition. Volume 8.
Da: Antiquariat Bernhardt, Kassel, Germania
Valutazione del venditore 5 su 5 stelle
Ledereinband. Condizione: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 2nd Edition. Volume 8. xiii, 354 Seiten Englisch 712g. Codice articolo 554438
Quantità: 1 disponibili
Foto dell'editore
Handbook of Philosophical Logic, Vol. 8
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9781402006654_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Handbook of Philosophical Logic
Editore:
Springer Netherlands, Springer Netherlands Aug 2002, 2002
ISBN 10: 1402006659
ISBN 13: 9781402006654
Nuovo
Buch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 372 pp. Englisch. Codice articolo 9781402006654
Quantità: 2 disponibili
Immagini fornite dal venditore
Handbook of Philosophical Logic
Editore:
Springer Netherlands, Springer Netherlands Aug 2002, 2002
ISBN 10: 1402006659
ISBN 13: 9781402006654
Nuovo
Buch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Neuware -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. 372 pp. Englisch. Codice articolo 9781402006654
Quantità: 2 disponibili
Immagini fornite dal venditore
Handbook of Philosophical Logic : Volume 8
Editore:
Springer Netherlands, Springer Netherlands, 2002
ISBN 10: 1402006659
ISBN 13: 9781402006654
Nuovo
Rilegato
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9781402006654
Quantità: 1 disponibili
Immagini fornite dal venditore
Handbook of Philosophical Logic. Vol.8
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Gebunden. Condizione: New. Contains major contributions on the Logic of Questions, Sequent Systems for Modal Logics, Deontic Logic as well as Deontic Logic and Contrary-to-duties Editorial Preface D.M. Gabbay. The Logic of Questions D. Harrah. Sequent Systems for Modal Logi. Codice articolo 447550810
Quantità: Più di 20 disponibili
Foto dell'editore
Handbook of Philosophical Logic, Vol. 8
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar2411530141195
Quantità: Più di 20 disponibili
Foto dell'editore
Handbook of Philosophical Logic: Volume 8 (Handbook of Philosophical Logic)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 2nd sub edition. 368 pages. 9.50x6.50x1.00 inches. In Stock. Codice articolo x-1402006659
Quantità: 2 disponibili