Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén

Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Executable Modal and Temporal Logics

Name: Executable Modal and Temporal Logics
Brand: Springer, Berlin
SKU: 05274453
Price: 24806 HUF
Availability: InStock

Michael Fisher

Richard Owens

Nyelv

Angol

Könyv Puha kötésű

Libristo kód: 05274453

Kiadó Springer, Berlin, november 1994

This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda... Teljes leírás

Libristo kód: 05274453

154 b

24 806 Ft

Beszállítói készleten alacsony példányszámban Küldés 10-15 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Engelkarten, Kartenset Jana Haas

/ Játék

7 112 Ft

Hamlet: A Critical Reader THOMPSON ANN

/ Puha kötésű

13 482 Ft

Balkan Exchange of Minorities and Its Impact on Greece Dimitri Pentzopoulos

/ Kemény kötésű

26 768 Ft

Liturgical Art for a Media Culture Eileen D. Crowley

/ Puha kötésű

4 068 Ft

Export Consortia in Developing Countries Donatella Depperu

/ Kemény kötésű

48 890 Ft

General Principles of Law as Applied by International Tribunals to Disputes on Attribution and Exercise of State Jurisdiction Alexander Marie Stuyt

/ Puha kötésű

24 806 Ft

Young World 3. English Class 5, m. 1 CD-ROM Illya Arnet-Clark

/ Puha kötésű

10 634 Ft

Footsteps Behind Me Anthony Gilbert

/ Puha kötésű

9 748 Ft

Philosophische Bildung Volker Steenblock

/ Puha kötésű

7 786 Ft

IC Interconnect Analysis Mustafa Celik

/ Puha kötésű

75 179 Ft

Wundervolle Wellness- und Wohlfühlmusik für eine herrlich entspannte Traumzeit, Audio-CD Frank Tuppek

/ Audio CD

3 234 Ft

Rethinking Masculinity Robert Strikwerda

/ Kemény kötésű

79 263 Ft

Fils d'emigre Ernest Daudet

/ Puha kötésű

19 321 Ft

Bedeutung der Ladenoeffnungszeiten aus einzel- und gesamtwirtschaftlicher Sicht Jeanne d'Arc Sankari Slodowicz

/ Puha kötésű

22 200 Ft

Rule of Women in Early Modern Europe Anne J. Cruz

/ Kemény kötésű

55 616 Ft

Education and the Kyoto School of Philosophy Paul Standish

/ Puha kötésű

48 890 Ft

This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming.This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented.

Információ a könyvről

Teljes megnevezés Executable Modal and Temporal Logics

Szerző Michael Fisher, Richard Owens

Nyelv

Angol

Kötés Könyv - Puha kötésű

Kiadás éve 1995

Oldalszám 188

EAN 9783540589761

ISBN 3540589767

Libristo kód 05274453

Kiadó Springer, Berlin

Súly 295

Méretek 156 x 234 x 10

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány

Ajándékozza oda ezt a könyvet még ma

Nagyon egyszerű

1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Kézbesítés

Vásárlási tanácsadó