Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
EUR 45
Quantité disponible : 1 disponible(s)
Ajouter au panierLedereinband. Etat : Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 2nd Edition. Volume 14. xiii, 345 Seiten Englisch 706g.
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
EUR 51,89
Quantité disponible : 1 disponible(s)
Ajouter au panierLedereinband. Etat : Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 2nd Edition. Volume 13. 373 Seiten Deutsch 740g.
Edité par KLUWER ACADEMIC PUBLISHERS, 2001
ISBN 10 : 079237018X ISBN 13 : 9780792370185
Langue: anglais
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
EUR 72,15
Quantité disponible : 1 disponible(s)
Ajouter au panierLedereinband. Etat : Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XIII, 385 Seiten Englisch 754g.
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
EUR 96,30
Quantité disponible : 1 disponible(s)
Ajouter au panierLedereinband. Etat : Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 2nd Edition. Volume 8. xiii, 354 Seiten Englisch 712g.
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
EUR 111,60
Quantité disponible : 1 disponible(s)
Ajouter au paniergebundene Ausgabe. Etat : Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 2nd Edition. Volume 12. xiii, 372 Seiten Englisch 704g.
Edité par KLUWER ACADEMIC PUBLISHERS, 2002
ISBN 10 : 1402006993 ISBN 13 : 9781402006999
Langue: anglais
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
EUR 117
Quantité disponible : 1 disponible(s)
Ajouter au paniergebundene Ausgabe. Etat : Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 2nd Edition. Volume 9. xii, 368 Seiten Englisch 714g.
Edité par KLUWER ACADEMIC PUBLISHERS, 2001
ISBN 10 : 0792371607 ISBN 13 : 9780792371601
Langue: anglais
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
EUR 127,80
Quantité disponible : 1 disponible(s)
Ajouter au panierKarton. Etat : Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. xiii, 412 Seiten Englisch 778g.
Edité par KLUWER ACADEMIC PUBLISHERS, 2002
ISBN 10 : 1402001398 ISBN 13 : 9781402001390
Langue: anglais
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
EUR 135
Quantité disponible : 1 disponible(s)
Ajouter au panierLedereinband. Etat : Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. xiii, 431 Seiten Englisch 822g.
Edité par KLUWER ACADEMIC PUBLISHERS, 2001
ISBN 10 : 0792371267 ISBN 13 : 9780792371267
Langue: anglais
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
EUR 148,50
Quantité disponible : 1 disponible(s)
Ajouter au panierKarton. Etat : Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XIII; 408 Seiten Englisch 772g.
Edité par KLUWER ACADEMIC PUBLISHERS, 2002
ISBN 10 : 1402005830 ISBN 13 : 9781402005831
Langue: anglais
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
EUR 197,08
Quantité disponible : 1 disponible(s)
Ajouter au panierLedereinband. Etat : Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 2nd Edition. Volume 6. xiii, 406 Seiten Englisch 802g.
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 229,62
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Sehr gut. Gebraucht - Sehr gut Sg - leichte Beschädigungen oder Verschmutzungen, ungelesenes Mängelexemplar, gestempelt - 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.
Edité par Kluwer Academic Publishers, 2002
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
EUR 290
Quantité disponible : 1 disponible(s)
Ajouter au panierLedereinband. Etat : Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 2nd Edition, Volume 7. xiii, 350 Seiten Englisch 706g.