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 :-(

Automated Reasoning with Analytic Tableaux and Related Methods

Name: Automated Reasoning with Analytic Tableaux and Related Methods
Brand: Springer, Berlin
SKU: 05274694
Price: 24806 HUF
Availability: InStock

Didier Galmiche

Nyelv

Angol

Könyv Puha kötésű

Libristo kód: 05274694

Kiadó Springer, Berlin, november 1996

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux... Teljes leírás

Libristo kód: 05274694

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

Atlas of Knee Arthroscopy Radu Prejbeanu

/ Kemény kötésű

89 835 Ft

Book of Meissen Robert E. Rontgen

/ Kemény kötésű

37 772 Ft

Thinking Outside the Box William G. O'Callaghan

/ Puha kötésű

23 554 Ft

Beyond Hollywood's Grasp Harry Waldman

/ Kemény kötésű

45 224 Ft

Primordial Emotions Derek Denton

/ Kemény kötésű

59 607 Ft

Changing Our Minds Susan H. Aiken

/ Puha kötésű

17 473 Ft

Boehmischen Landtagsverhandlungen und Landtagsbeschlusse vom Jahre 1526 an bis auf die Neuzeit Ohne Autor

/ Puha kötésű

46 944 Ft

Animal Reproduction Lucas T. Dahnof

/ Kemény kötésű

55 564 Ft

Collected Poems Donald Davie

/ Puha kötésű

8 461 Ft

Until Darwin, Science, Human Variety and the Origins of Race B. Ricardo Brown

/ Kemény kötésű

76 482 Ft

Kolbenpumpen Einschliesslich Der Flugel- Und Rotationspumpen Heinrich Berg

/ Puha kötésű

22 617 Ft

Alternatives to the Hospital for Acute Psychiatric Treatment Richard Warner

/ Kemény kötésű

14 187 Ft

Year Book of Ophthalmology 2013 Christopher J. Rapuano

/ Kemény kötésű

58 767 Ft

Delicious Probiotic Drinks Julia Mueller

/ Kemény kötésű

5 793 Ft

Ethik Und Protest Gerhard Schmidtchen

/ Puha kötésű

26 994 Ft

Yeats Yug Chaudhry

/ Puha kötésű

16 263 Ft

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997.The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.

Információ a könyvről

Teljes megnevezés Automated Reasoning with Analytic Tableaux and Related Methods

Szerző Didier Galmiche

Nyelv

Angol

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

Kiadás éve 1997

Oldalszám 380

EAN 9783540629207

ISBN 3540629203

Libristo kód 05274694

Kiadó Springer, Berlin

Súly 510

Méretek 156 x 234 x 20

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 > Mesterséges intelligencia > Szakértői rendszerek / tudás alapú rendszerek

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 > Rendszeranalízis és rendszerdizájn

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ó