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ć

Higher-Order Algebra, Logic, and Term Rewriting

Język AngielskiAngielski
Książka Miękka
Książka Higher-Order Algebra, Logic, and Term Rewriting Gilles Dowek
Kod Libristo: 05274575
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maj 1996
This book presents a collection of revised refereed papers selected from the presentations accepted... Cały opis
? points 154 b
261.85 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ć

TOP
Decline of the West Oswald Spengler / Miękka
common.buy 66.35 zł
Histoire d'un casse-noisette Alexandre Dumas Pere / Twarda
common.buy 179.62 zł
Wild Seasons Kay Young / Miękka
common.buy 124.34 zł
Keyboard spielen - mein schönstes Hobby, Die moderne Keyboardschule, m. Audio-CD. Bd.2 Uwe Bye / Pierścieniowa
common.buy 219.54 zł
Worlds Apart Carl Darryl Malmgren / Twarda
common.buy 110.06 zł
Intermediate, Student's Book Craig Thaine / Książka
common.buy 143.99 zł
La pianta dei sospiri con alcuni cenni su la vita e su le opere dell'autore Defendente Sacchi / Twarda
common.buy 204.27 zł
The Art of the Sale Philip Delves Broughton / Miękka
common.buy 92.30 zł
Antéchrista Amélie Nothomb / Miękka
common.buy 26.14 zł
Virtue, Vice, and Value Thomas Hurka / Miękka
common.buy 505.06 zł
Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms Robert E. Bowen / Miękka
common.buy 215.65 zł
Conducting a group Rossella Marisi / Miękka
common.buy 187.91 zł
Trade and Gunboats Steven C. Topik / Twarda
common.buy 679.10 zł
Deutsche Geschichte in der Frühen Neuzeit Johannes Burkhardt / Miękka
common.buy 34.32 zł
Topology Control in Wireless Ad Hoc and Sensor Networks Paolo Santi / Twarda
common.buy 564.64 zł

This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.

Informacje o książce

Pełna nazwa Higher-Order Algebra, Logic, and Term Rewriting
Autor Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
Język Angielski
Oprawa Książka - Miękka
Data wydania 1996
Liczba stron 296
EAN 9783540612544
ISBN 3540612548
Kod Libristo 05274575
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 950
Wymiary 155 x 235 x 17

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
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