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 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Conditional Term Rewriting Systems

Third International CRTS Workshop, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Conditional Term Rewriting Systems Michael Rusinowitch
Kod Libristo: 02092611
Wydawnictwo Springer, Berlin, listopad 1992
This volume contains the papers preesented at the Third International Workshop on Conditional Term R... Cały opis
? points 125 b
219.88 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Alemannien Und Der Norden Hans-Peter Naumann / Książka Twarda
common.buy 675.78 zł
Last and First Men Olaf Stapledon / Książka Miękka
common.buy 37.07 zł
Eichendorff und die Frauen Frauke Itzerott / Książka Miękka
common.buy 38.89 zł
Pakiet Saga rodziny Neshov. Tom 1-3 Anne B. Ragde / Książka Miękka
common.buy 67.41 zł
Access - Allgemeine Ausgabe 2014 - Band 4: 8. Schuljahr Jörg Rademacher / Audio CD Audio
common.buy 177.15 zł

This volume contains the papers preesented at the Third International Workshop on Conditional Term Rewriting Systems, held in Pont- -Mousson, France, July 8-10, 1992. Topics covered include conditional rewriting and its applications to programming languages, specification languages, automated deduction, constrained rewriting, typed rewriting, higher-order rewriting, and graph rewriting. The volume contains 40 papers, including four invited talks: Algebraic semantics of rewriting terms and types, by K.Meinke; Generic induction proofs, by P. Padawitz; Conditional term rewriting and first-order theorem proving, by D. Plaisted; and Decidability of finiteness properties (abstract), by L. Pacholski. The first CTRS workshop was held at the University of Parisin 1987 and the second at Concordia University, Montreal, in1990. Their proceddings are published as Lecture Notes in Computer Science Volumes 308 and 516 respectively.

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 Conditional Term Rewriting Systems
Autor Michael Rusinowitch, Jean-Luc Remy
Język Angielski
Oprawa Książka - Miękka
Data wydania 1993
Liczba stron 507
EAN 9783540563938
ISBN 3540563938
Kod Libristo 02092611
Wydawnictwo Springer, Berlin
Waga 672
Wymiary 155 x 233 x 26

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 > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
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ć

TOP
Meddling Kids Edgar Cantero / Książka Miękka
common.buy 60.86 zł
A History of Ancient Egypt John Romer / Książka Twarda
common.buy 145.31 zł
TOP
A Game of Thrones. The Illustrated Edition George R. R. Martin / Książka Twarda
common.buy 162.84 zł
CONTRIBUTIONS TO MIDWIFERY, AND DISEASES EMIL NOEGGERATH / Książka Twarda
common.buy 166.87 zł
Confessions of a Cartel Hit Man Martin Corona / Książka Twarda
common.buy 150.75 zł
A short History of Renaissance Architecture in England 1500-1800 Reginald Blomfield / Książka Miękka
common.buy 182.09 zł
Vintage Menswear Douglas Gunn / Książka Twarda
common.buy 67.21 zł
TOP
We Are Okay Nina Lacour / Książka Miękka
common.buy 41.51 zł
Real Turkish: Learn Conversational Turkish Through Dialogues Mehmet Sahin / Książka Miękka
common.buy 26.39 zł
TOP
Neon Genesis Evangelion 3-in-1 Edition, Vol. 3 Yoshiyuki Sadamoto / Książka Miękka
common.buy 82.83 zł
Rock Chick Kristen Ashley / Książka Miękka
common.buy 97.64 zł
Business Plan Workbook Paul Barrow / Książka Miękka
common.buy 179.77 zł
Shakespeare in Autumn (Seasons Edition -- Fall) William Shakespeare / Książka Twarda
common.buy 86.05 zł
Tanie
Department of Truth, Volume 2: The City Upon a Hill James Tynion IV / Książka Miękka
common.buy 35.36 zł
Penguin Modern Classics Book Henry Eliot / Książka Twarda
common.buy 117.69 zł
Over the Rainbow Karen D. Hayes / Książka Twarda
common.buy 122.03 zł
Ukraine and Russia Paul D'Anieri / Książka Miękka
common.buy 104.69 zł
Backyard Birds 2026 7 X 7 Mini Wall Calendar / Kalendarz/Pamiętnik Kalendarz
common.buy 37.07 zł
Aldous Huxley Nicholas Murray / Książka Miękka
common.buy 77.08 zł
Isotopes in Palaeoenvironmental Research Melanie Leng / Książka Twarda
common.buy 438.36 zł
Control and Protection of VSC-based Multi-terminal DC Networks Epameinondas Kontos / Książka Miękka
common.buy 174.53 zł
British Eyewitness at the Battle of New Orleans Robert Aitchison / Książka Miękka
common.buy 54.51 zł
TOP
Botticelli Franz Zollner / Książka Twarda
common.buy 157.10 zł
How to Attract Investors Uffe Bundgaard-Jorgensen / Książka Twarda
common.buy 204.36 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?