Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Conditional Term Rewriting Systems

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Conditional Term Rewriting Systems Michael Rusinowitch
Libristo kod: 02092611
Nakladnici Springer, Berlin, studeni 1992
This volume contains the papers preesented at the Third International Workshop on Conditional Term R... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Last and First Men Olaf Stapledon / Knjiga Meki uvez
common.buy 8.70 €
Pakiet Saga rodziny Neshov. Tom 1-3 Anne B. Ragde / Knjiga Meki uvez
common.buy 17.01 €
Eichendorff und die Frauen Frauke Itzerott / Knjiga Meki uvez
common.buy 9.11 €
Access - Allgemeine Ausgabe 2014 - Band 4: 8. Schuljahr Jörg Rademacher / Audio Audio CD
common.buy 41.62 €
Alemannien Und Der Norden Hans-Peter Naumann / Knjiga Tvrdi uvez
common.buy 159.00 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Conditional Term Rewriting Systems
Autor Michael Rusinowitch, Jean-Luc Remy
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1993
Broj stranica 507
EAN 9783540563938
ISBN 3540563938
Libristo kod 02092611
Nakladnici Springer, Berlin
Težina 672
Dimenzije 155 x 233 x 26

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Real Turkish: Learn Conversational Turkish Through Dialogues Mehmet Sahin / Knjiga Meki uvez
common.buy 6.17 €
Top Pripremamo
Warriors: Dawn of the Clans #1: The Sun Trail Erin Hunter / Knjiga Meki uvez
common.buy 5.66 €
A History of Ancient Egypt John Romer / Knjiga Tvrdi uvez
common.buy 34.12 €
Top
Game of Thrones George R. R. Martin / Knjiga Tvrdi uvez
common.buy 36.86 €
CONTRIBUTIONS TO MIDWIFERY, AND DISEASES EMIL NOEGGERATH / Knjiga Tvrdi uvez
common.buy 39.29 €
Confessions of a Cartel Hit Man Martin Corona / Knjiga Tvrdi uvez
common.buy 35.44 €
A short History of Renaissance Architecture in England 1500-1800 Reginald Blomfield / Knjiga Meki uvez
common.buy 42.83 €
Vintage Menswear Douglas Gunn / Knjiga Tvrdi uvez
common.buy 15.79 €
Top
We Are Okay Nina Lacour / Knjiga Meki uvez
common.buy 9.71 €
Top
Neon Genesis Evangelion 3-in-1 Edition, Vol. 3 Yoshiyuki Sadamoto / Knjiga Meki uvez
common.buy 19.44 €
Rock Chick Kristen Ashley / Knjiga Meki uvez
common.buy 22.98 €
Business Plan Workbook Paul Barrow / Knjiga Meki uvez
common.buy 42.33 €
Shakespeare in Autumn (Seasons Edition -- Fall) William Shakespeare / Knjiga Tvrdi uvez
common.buy 20.15 €
Department of Truth, Volume 2: The City Upon a Hill James Tynion IV / Knjiga Meki uvez
common.buy 13.56 €
Penguin Modern Classics Book Henry Eliot / Knjiga Tvrdi uvez
common.buy 27.64 €
Over the Rainbow Karen D. Hayes / Knjiga Tvrdi uvez
common.buy 28.75 €
Top
Warriors Super Edition: Bluestar's Prophecy Erin Hunter / Knjiga Meki uvez
common.buy 5.66 €
British Eyewitness at the Battle of New Orleans Robert Aitchison / Knjiga Meki uvez
common.buy 12.85 €
Control and Protection of VSC-based Multi-terminal DC Networks Epameinondas Kontos / Knjiga Meki uvez
common.buy 41.01 €
Top
Botticelli Franz Zollner / Knjiga Tvrdi uvez
common.buy 36.96 €
Aldous Huxley Nicholas Murray / Knjiga Meki uvez
common.buy 18.12 €
Uncertain Chances Maurice S. Lee / Knjiga Meki uvez
common.buy 38.38 €
Isotopes in Palaeoenvironmental Research Melanie Leng / Knjiga Tvrdi uvez
common.buy 103.10 €
Wetlands in Central Florida Samantha L Elliot / Knjiga Meki uvez
common.buy 389.02 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?