phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł DPD 25.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

Automated Reasoning with Analytic Tableaux and Related Methods

Język AngielskiAngielski
Książka Miękka
Książka Automated Reasoning with Analytic Tableaux and Related Methods Didier Galmiche
Kod Libristo: 05274694
Wydawnictwo Springer, Berlin, listopad 1996
This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux... Cały opis
? points 154 b
262.48 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni
Polska common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Atlas of Knee Arthroscopy Radu Prejbeanu / Twarda
common.buy 951.91 zł
Book of Meissen Robert E. Rontgen / Twarda
common.buy 373.32 zł
Thinking Outside the Box William G. O'Callaghan / Miękka
common.buy 249.58 zł
Boehmischen Landtagsverhandlungen und Landtagsbeschlusse vom Jahre 1526 an bis auf die Neuzeit Ohne Autor / Miękka
common.buy 497.46 zł
Primordial Emotions Derek Denton / Twarda
common.buy 602.80 zł
Changing Our Minds Susan H. Aiken / Miękka
common.buy 179.45 zł
Collected Poems Donald Davie / Miękka
common.buy 96.12 zł
Until Darwin, Science, Human Variety and the Origins of Race B. Ricardo Brown / Twarda
common.buy 904.90 zł
Alternatives to the Hospital for Acute Psychiatric Treatment Richard Warner / Twarda
common.buy 142.64 zł
Year Book of Ophthalmology 2013 Christopher J. Rapuano / Twarda
common.buy 590.19 zł
Yeats Yug Chaudhry / Miękka
common.buy 172.15 zł
Beyond Hollywood's Grasp Harry Waldman / Twarda
common.buy 478.65 zł
Animal Reproduction Lucas T. Dahnof / Twarda
common.buy 553.18 zł
Kolbenpumpen Einschliesslich Der Flugel- Und Rotationspumpen Heinrich Berg / Miękka
common.buy 239.17 zł
Delicious Probiotic Drinks Julia Mueller / Twarda
common.buy 61.21 zł
Ethik Und Protest Gerhard Schmidtchen / Miękka
common.buy 285.69 zł

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.

Informacje o książce

Pełna nazwa Automated Reasoning with Analytic Tableaux and Related Methods
Autor Didier Galmiche
Język Angielski
Oprawa Książka - Miękka
Data wydania 1997
Liczba stron 380
EAN 9783540629207
ISBN 3540629203
Kod Libristo 05274694
Wydawnictwo Springer, Berlin
Waga 510
Wymiary 156 x 234 x 20

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo