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ł.

Higher-Order Algebra, Logic, and Term Rewriting

2nd International Workshop, Paderborn, Germany, September 1995. Selected Papers

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 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

Wohneigentum Michael Voigtländer / Książka Twarda
common.buy 456.23 zł
Sehenswertes Baden-Württemberg (hochwertiger Premium Wandkalender 2026 DIN A2 quer), Kunstdruck in Hochglanz Calvendo / Kalendarz/Pamiętnik Kalendarz
common.buy 318.34 zł
Die Deregulierung der Versicherungsaufsicht und die Versicherungsvermittlung in Deutschland. Jürgen F. Schmidt / Książka Miękka
common.buy 456.74 zł
Женщина Т. Арисима / Książka Miękka
common.buy 64.29 zł
David Gilmour: Luck And Strange LP David Gilmour Audio Winyl Audio
common.buy 127.57 zł
Przewodnik podróżnika po gwiazdach Johnson Les / Książka Miękka
common.buy 71.74 zł
Herausforderungen Der Internationalen Marktorientierten Unternehmensfuhrung Andreas Mann / Książka Twarda
common.buy 344.77 zł
Reise zum Mittelpunkt der Erde, Schulausgabe Jules Verne / Książka Miękka
common.buy 28.87 zł
El corredor Pete Magill / E-book Adobe ePub DRM
common.buy 75.93 zł
Die Hauschronik Konrad Pellikans von Rufach Pellikan / Książka Miękka
common.buy 89.81 zł
L'Atelier des Sorciers T07 Kamome Shirahama / Książka Miękka
common.buy 48.78 zł
HOMME FEMME : LA PART DE LA SEXUALITE Déroff Książka Miękka
common.buy 88.18 zł
T'CHOUPI RECONNAIT LES LETTRES Thierry Courtin / Książka Miękka
common.buy 23.16 zł
Keyboard spielen - mein schönstes Hobby, Die moderne Keyboardschule, m. Audio-CD. Bd.2 Uwe Bye / Książka Pierścieniowa
common.buy 220.86 zł
Weit ist mein Gefängnis Assia Djebar / Książka Miękka
common.buy 46.33 zł
Antéchrista Amélie Nothomb / Książka Miękka
common.buy 24.59 zł
Všechny barvy počasí Britta Teckentrupová / Książka Twarda
common.buy 63.27 zł
Fälle und Musterlösungen zum Waffenrecht Jürgen Beck / Książka Miękka
common.buy 62.35 zł
TOP
Puzzle 1000 Art Collection Pocałunek Gustav Klimt / Gra/Zabawka Zabawka
common.buy 27.45 zł
Vagabondando fra le stelle Wirton Arvel / Książka Miękka
common.buy 54.29 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.

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 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

Mogłoby Cię także zainteresować

Total Hip Replacement Jean Pierre Courpied / Książka Miękka
common.buy 443.98 zł
Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms Robert E. Bowen / Książka Miękka
common.buy 178.30 zł
Mathematical Foundations of Computer Science 2015 Giuseppe Italiano / Książka Miękka
common.buy 222.70 zł
Zapowiedź
Across America Maurice Isserman / Książka Twarda
common.buy 171.56 zł
Zapowiedź
Grand Tour Guide to the World Jeremy Clarkson / Książka Twarda
common.buy 81.23 zł
Advances in Condition Monitoring of Machinery in Non-Stationary Operations Anna Timofiejczuk / Książka Twarda
common.buy 976.66 zł
Value and Profit Geoffrey Whittington / Książka Miękka
common.buy 211.68 zł
Hoard of Thunder: Volume I Gemino H. Abad / Książka Miękka
common.buy 98.48 zł
Cello Secrets Brian Hodges / Książka Miękka
common.buy 239.03 zł
Crane in the Clouds Sung-Il Lee / Książka Miękka
common.buy 108.18 zł
A Woman's Right to Culture: Toward Gendered Cultural Rights Linda L. Veazey / Książka Miękka
common.buy 123.08 zł
Money and Abstract Labour Ulrich Krause / Książka Miękka
common.buy 73.89 zł
The Bread Book: Multiplying and Dividing Tony Hyland / Książka Miękka
common.buy 50.21 zł
Captives in the Shadows Steven R Green / Książka Miękka
common.buy 79.40 zł
Strategy, National Interests, and Means to an End Strategic Studies Institute / Książka Miękka
common.buy 74.60 zł
Legends of the Turf Volume 2 Charl Pretorius / Książka Miękka
common.buy 47.96 zł
LUCIFER IS NOT SATAN Book 1 Elizabeth Derry / Książka Miękka
common.buy 122.16 zł
Place Of Christ In Modern Theology Fairbairn A.M. / Książka Miękka
common.buy 193.51 zł
Letter to the Rev. T. Watson Watson / Książka Miękka
common.buy 54.49 zł
God Doesn't Need a Passport Mary (c/o James Currey Ltd.) Turner / Książka Miękka
common.buy 48.78 zł
Lavender Pit Martha Housen / Książka Miękka
common.buy 39.59 zł
I'll Bring You Back Joe Hart / Książka Miękka
common.buy 63.27 zł
The Christian Hope William Adams Brown / Książka Twarda
common.buy 140.33 zł
Ask Me How It Works Deepa Paul / Książka Miękka
common.buy 70.21 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?