Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Theorem Proving with Analytic Tableaux and Related Methods

4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995. Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Theorem Proving with Analytic Tableaux and Related Methods Peter Baumgartner
Kod Libristo: 05274464
Wydawnictwo Springer, Berlin, listopad 1994
This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with An... Cały opis
? points 125 b
222.70 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Kumiawase Game no uraomote Y. Yamasaki / Książka Miękka
common.buy 246.79 zł
Die außergewöhnlichen Heilkräfte der Birke Günter A. Ulmer / Książka Twarda
common.buy 29.89 zł
Dal Brenta al Piave - Klettergärten zwischen den Flüssen Brenta und Piave. Sport Climbing between the Brenta and Piave Rivers Angelo Battaglia / Książka Miękka
common.buy 98.48 zł
Gestion de los Interesados como Clientes (Spanish Edition) Mario Henrique Trentim / E-book Adobe ePub DRM
common.buy 141.05 zł
LIBRO SUPREMO DEL SUDOKU 100 PUZZLES EXTERNOS GRIFFTHS-JONES SAM / Książka Miękka
common.buy 42.24 zł
24 PIECES EN STYLE LIBRE OPUS 31 VOL.2 ORGUE LOUIS VIERNE Książka binding.
common.buy 170.14 zł
Pascal Paoli - Les leçons d’un "citoyen du ciel" Pallenti / Książka Miękka
common.buy 83.17 zł
Courbet - La vie à tout prix Valérie Bajou / Książka Twarda
common.buy 605.86 zł
Bioperserwatywne efekty dzia?ania bakterii kwasu mlekowego Essa Emaraa / Książka Miękka
common.buy 153.70 zł
24 Stunden - in Fotografien von Bodo Niederprüm Bodo Niederprüm / Książka Miękka
common.buy 88.69 zł
Strophenbau in den Gedichten Ephraems des Syrers Hubert Grimme / Książka Miękka
common.buy 61.94 zł
Wie geht's? Dirk Rauh / Książka Miękka
common.buy 32.04 zł
Hoď se do pogody Sandra Pogodová / Książka Miękka
common.buy 46.33 zł
AU COEUR DU TEXTE - UN AMOUR DE SWANN + CD Marcel Proust / Książka Miękka
common.buy 80.11 zł
Sixtinische Kapelle (Puzzle) ichelangelo Buonarroti / Gra/Zabawka Zabawka
common.buy 195.96 zł
Acortar distancias : Las TIC en la clase de traducción y de lenguas extranjeras Marcos . . . [et al. ] Cánovas Méndez / Książka Miękka
common.buy 111.65 zł
Alimentación de su pájaro Burgmann / Książka Miękka
common.buy 73.89 zł

This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schloß Rheinfels, St. Goar, Germany in May 1995.Originally tableau calculi and their relatives were favored primarily as a pedagogical device because of their advantages at the presentation level. The 23 full revised papers in this book bear witness that these methods have now gained fundamental importance in theorem proving, particularly as competitors for resolution methods. The book is organized in sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, non-clausal proof procedures, linear logic, higher-order logic, and applications

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Theorem Proving with Analytic Tableaux and Related Methods
Autor Peter Baumgartner, Reiner Hähnle, Joachim Posegga
Język Angielski
Oprawa Książka - Miękka
Data wydania 1995
Liczba stron 361
EAN 9783540593386
ISBN 3540593381
Kod Libristo 05274464
Wydawnictwo Springer, Berlin
Waga 496
Wymiary 155 x 233 x 19

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) > Programowanie komputerowe i tworzenie oprogramowania > Programowanie obiektowe
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
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

Mogłoby Cię także zainteresować

Religious Pluralism in Christian and Islamic Philosophy ASLAN / Książka Miękka
common.buy 315.38 zł
Russian Memoirs Volume 2 Spencer E Roberts / Książka Twarda
common.buy 128.59 zł
Digital Communication Systems Engineering with Software-defined Radio Alexander M. Wyglinski / Książka Twarda
common.buy 626.17 zł
Silent Film Richard Abel / Książka Miękka
common.buy 285.98 zł
Cytokeratins in Intracranial and Intraspinal Tissues Michael Kasper / Książka Miękka
common.buy 493.28 zł
Portrait of Faith Niyi Oluyinka / Książka Miękka
common.buy 83.17 zł
Biblical Archaeology Allan A MacRae / Książka Miękka
common.buy 39.59 zł
Till Eulenspiegel Hermann Bote / Książka Twarda
common.buy 76.95 zł
Jesus Blueprint David Buehring / Książka Miękka
common.buy 68.07 zł
Worship God Desires Angela B Smith-Peeples / Książka Twarda
common.buy 106.34 zł
Hysteria Ni Wa / Książka Twarda
common.buy 123.59 zł
Der Rebell,1932 LUIS-Edition TRENKER / Wideo DVD
common.buy 59.29 zł
Consumer Reaction, Food Production and the Fukushima Disaster Kentaka Aruga / Książka Twarda
common.buy 520.94 zł
Building a Stadium Angie Smibert / Książka Miękka
common.buy 41.63 zł
Destiny's Safari Sally M Jones / Książka Miękka
common.buy 36.84 zł
Ya I Play Like An Old Man, Try To Keep Up: 120 Pages I 6x9 I Dot Grid I Funny Pickleball Gifts for Sport Enthusiasts Funny Notebooks / Książka Miękka
common.buy 36.84 zł
Witches' Sabbats & Esbats Deborah Blake / Książka Miękka
common.buy 89.60 zł
Acceleration of Cultural Change R. Alexander Bentley / E-book Adobe ePub DRM
common.buy 112.26 zł
Frontiers in Numerical Relativity Charles R. EvansLee S. FinnDavid W. Hobill / Książka Miękka
common.buy 339.77 zł
Eat This Book Dominique Lestal / Książka Miękka
common.buy 68.07 zł
TOP
Inuyasha (VIZBIG Edition), Vol. 4 Rumiko Takahashi / Książka Miękka
common.buy 83.89 zł
Suite for Strings Robert Washburn / Prasa Nuty
common.buy 55.41 zł
Sensors for Domestic Applications Arnaldo D'Amico / Książka Twarda
common.buy 458.88 zł
Nonlinear Waves And Offshore Structures Cheung Hun Kim / Książka Twarda
common.buy 627.09 zł

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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?