guenthner gabbay d m (35 Ergebnisse)

Ledereinband. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 2nd Edition. Volume 14. xiii, 345 Seiten Englisch 706g.

Zustand: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.

23,5 x 15,5 cm. Zustand: 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.

gebundene Ausgabe. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Second Edition. Volume 16. xiii, 310 Seiten Englisch 646g.

Ledereinband. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XIII, 385 Seiten Englisch 754g.

Hardcover. Zustand: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 2.1.

Volume Two Only; As-Is; Octavo; VG-/no-DJ; Blue fabric spine with gilded text. Boards have an Ex-library number label on spine, age toned spine, cracking on rear joint, rubbing on edges, apart from that, binding strong; Textblock has light wear on edges, library bookplate on front pate down, card holder on rear paste down, bar code label on rear end paper, previous owner's name stamp on front end paper, otherwise, free of underlining/highlighting; pp 776. 1256157. Rockville Non-Retail Listings.

gebundene Ausgabe. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 2nd Edition. Volume 10. xiii, 348 Seiten Englisch 694g.

23,5 x 15,5 cm. Zustand: Gut. 2nd edition, 2. Auflage. XIII, 372 Seiten Innen sehr sauberer, guter Zustand. Hardcover, Kunstleder- oder Ledereinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Sehr gutes Bibliotheksexemplar. B04-01-03C|A75 Sprache: Englisch Gewicht in Gramm: 770.

Ledereinband. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 2nd Edition. Volume 13. 373 Seiten Deutsch 740g.

Ledereinband. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. xiii, 360 Seiten Deutsch 710g.

gebundene Ausgabe. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 2nd Edition. Volume 9. xii, 368 Seiten Englisch 714g.

gebundene Ausgabe. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Second Edition. Volume 15. xiii, 401 Seiten Englisch 772g.

Karton. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. xiii, 412 Seiten Englisch 778g.

Ledereinband. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. xiii, 431 Seiten Englisch 822g.

Ledereinband. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 2nd Edition. Volume 6. xiii, 406 Seiten Englisch 802g.

Karton. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XIII; 408 Seiten Englisch 772g.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - such questions for centuries (unrestricted by the capabilities of any ha- ware). Theprinciplesgoverningtheinteractionofseveralprocesses, forexample, are abstract an similar to principles governing the cooperation of two large organisation. A detailed rule based e ective but rigid bureaucracy is very much similar to a complex computer program handling and manipulating data. My guess is that the principles underlying one are very much the same as those underlying the other. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist will wake up one morning with the realisation that he is actually a kind of formal philosopher! The projected number of volumes for this Handbook is about 18. The subjecthasevolvedanditsareashavebecomeinterrelatedtosuchanextent that it no longer makes sense to dedicate volumes to topics. However, the volumes do follow some natural groupingsof chapters. Iwould liketothank our authorsand readersfor their contributionsand their commitment in making this Handbook a success. Thanksalso to our publication administrator Mrs J. Spurr for her usual dedication and excellence and to Kluwer Academic Publishers (now Springer) for their continuing support for the Handbook. Dov Gabbay King s College London 10 Logic IT Natural Program Arti cial in- Logicp- language control spec- telligence gramming processing i cation, veri cation, concurrency Temporal Expressive Expressive Planning. Extension of logic power of tense power for re- Time depen- Horn clause operators. current events. dent data. with time Temporal Speci cation Eventcalculus. capability. indices. Sepa- of tempo- Persistence Event calculus. ration of past ral control. through time Temporal logic from future Decision prob- theFrame programming. lems. Model Problem. T- checking. poral query language. temporal transactions.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work to both students and researchers in formal philosophy, language and logic. The second edition of the Handbook is intended to comprise some 18 volumes and will provide a very up-to-date authoritative, in-depth coverage of all major topics in philosophical logic and its applications in many cutting-edge fields relating to computer science, language, argumentation, etc. The volumes will no longer be as topic-oriented as with the first edition because of the way the subject has evolved over the last 15 years or so. However the volumes will follow some natural groupings of chapters. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.

Hardcover. Zustand: g+ to vg. Second edition. Quarto. XIII, [1], 431, [1]pp. Original olive cloth, with gold lettering on spine and front cover. Fourth volume of a remarkable series which provides a mostly clear description of the method and facts in predicate calculus, from the zeroith-order to the higher-order. It also provides a great starting point to study other formal logics presented in further volumes. The four volume "Handbook of Philosophical Logic," originally published between 1983 and 1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence circles. These areas were under increasing commercial pressure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organization on the one hand and to provide the theoretical basis for the computer program constructs on the other. Gold lettering partly and slightly faded on front cover. Binding in overall good+, interior in very good condition.

Ledereinband. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. 2nd Edition, Volume 7. xiii, 350 Seiten Englisch 706g.