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ć

Term Rewriting and Applications

Język AngielskiAngielski
Książka Miękka
Książka Term Rewriting and Applications Frank Pfenning
Kod Libristo: 01562413
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipiec 2006
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Tec... 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ć

Peter Tschaikowsky Constantin Floros / Miękka
common.buy 49.41 zł
Introduction to Oil and Gas Operational Safety Wise Global Training Ltd / Miękka
common.buy 624.80 zł
Verfassungsrechtliche Grenzen rückwirkender Anwaltsgebührenerhöhungen. Hartmut Bauer / Miękka
common.buy 142.64 zł
Renaissance Florence Roger J. CrumJohn T. Paoletti / Twarda
common.buy 850.98 zł
Giving Tree Shel Silverstein / Miękka
common.buy 120.83 zł
Hundert Jahre im Altkreis Geldern Paul van Treeck / Miękka
common.buy 63.11 zł
Herbaceous Layer in Forests of Eastern North America Frank Gilliam / Twarda
common.buy 920.40 zł
Column Generation G. Desaulniers / Twarda
common.buy 1 028.24 zł
Aiming at Virtue in Plato Iakovos Vasiliou / Miękka
common.buy 223.47 zł
Power Plays Alan Arkin / Miękka
common.buy 67.71 zł
Carfit. Englisch für Fahrzeugberufe, m. 1 Audio-CD / Karta
common.buy 85.22 zł
Exotic Attractors Jorge Buescu / Miękka
common.buy 262.48 zł
Die Lücke im Gesetz Ingo Lenßen / Miękka
common.buy 68.01 zł
Strassburger Studien Ernst Eduard Martin / Miękka
common.buy 85.52 zł
Franz Sternbalds Wanderungen Ludwig Tieck / Miękka
common.buy 46.51 zł
Jagdmethoden und Fanggeheimnisse Emil Regener / Miękka
common.buy 320.50 zł

This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. The book presents 23 revised full papers and 4 systems description papers together with 2 invited talks and a plenary talk of the hosting FLoC conference. Topics include equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, higher-order rewriting and unification, and more.

Informacje o książce

Pełna nazwa Term Rewriting and Applications
Autor Frank Pfenning
Język Angielski
Oprawa Książka - Miękka
Data wydania 2006
Liczba stron 418
EAN 9783540368342
ISBN 3540368345
Kod Libristo 01562413
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1340
Wymiary 155 x 235 x 24

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) > Matematyczna teoria obliczeń > Matematyka w informatyce
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
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

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