phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.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 Hans de Nivelle
Kod Libristo: 09511307
Wydawnictwo Springer International Publishing AG, październik 2015
This book constitutes the refereed proceedings of the 24th International Conference on Automated Rea... Cały opis
? points 154 b
261.85 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Precalculus David Cohen / Twarda
common.buy 1 577.16 zł
Identity and Cultural Translation: Writing Across the Borders of Englishness Ana Gabriela Macedo / Miękka
common.buy 472.12 zł
Season V RANDY ALLEN / Twarda
common.buy 142.00 zł
Freedman in the Roman World Henrik Mouritsen / Miękka
common.buy 164.45 zł
Kreuzstiche Knud Kappelgaard / Twarda
common.buy 115.45 zł
Wine Faults John Hudelson / Miękka
common.buy 160.66 zł
Games and Gaming in Medieval Literature Serina Patterson / Twarda
common.buy 562.74 zł
Drei Jahre aus meinem Leben Konrad Martin / Twarda
common.buy 291.79 zł
Passion & Kalkul Doris Reimer / Twarda
common.buy 761.93 zł
Les Oeuvres de Monsieur de Crebillon.Tome 3 Jolyot De Crebillon-P / Miękka
common.buy 92.20 zł
Muslimische Wohlfahrtspflege in Deutschland Rauf Ceylan / Miękka
common.buy 192.30 zł
White Coat Fever Roland S Jefferson / Twarda
common.buy 123.84 zł

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. §The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus; resolution; other calculi; and applications.

Informacje o książce

Pełna nazwa Automated Reasoning with Analytic Tableaux and Related Methods
Autor Hans de Nivelle
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 355
EAN 9783319243115
ISBN 331924311X
Kod Libristo 09511307
Wydawnictwo Springer International Publishing AG
Waga 5621
Wymiary 155 x 235 x 21

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Matematyka i nauki ścisłe > Matematyka > Matematyka dyskretna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
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