Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Conditional Term Rewriting Systems

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

Limba englezăengleză
Carte Carte broșată
Carte Conditional Term Rewriting Systems Michael Rusinowitch
Codul Libristo: 02092611
Editura Springer, Berlin, noiembrie 1992
This volume contains the papers preesented at the Third International Workshop on Conditional Term R... Descrierea completă
? points 132 b
284.91 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Alemannien Und Der Norden Hans-Peter Naumann / Carte Copertă tare
common.buy 874.70 lei
Last and First Men Olaf Stapledon / Carte Carte broșată
common.buy 48.71 lei
Eichendorff und die Frauen Frauke Itzerott / Carte Carte broșată
common.buy 50.58 lei
Pakiet Saga rodziny Neshov. Tom 1-3 Anne B. Ragde / Carte Carte broșată
common.buy 94.51 lei
Access - Allgemeine Ausgabe 2014 - Band 4: 8. Schuljahr Jörg Rademacher / Audio Audio CD
common.buy 228.61 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Conditional Term Rewriting Systems
Autor Michael Rusinowitch, Jean-Luc Remy
Limba engleză
Legare Carte - Carte broșată
Data publicării 1993
Număr pagini 507
EAN 9783540563938
ISBN 3540563938
Codul Libristo 02092611
Editura Springer, Berlin
Greutatea 672
Dimensiuni 155 x 233 x 26

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Top
Meddling Kids Edgar Cantero / Carte Carte broșată
common.buy 79.56 lei
A History of Ancient Egypt John Romer / Carte Copertă tare
common.buy 189.87 lei
Top
A Game of Thrones. The Illustrated Edition George R. R. Martin / Carte Copertă tare
common.buy 214.38 lei
CONTRIBUTIONS TO MIDWIFERY, AND DISEASES EMIL NOEGGERATH / Carte Copertă tare
common.buy 215.21 lei
Confessions of a Cartel Hit Man Martin Corona / Carte Copertă tare
common.buy 195.58 lei
A short History of Renaissance Architecture in England 1500-1800 Reginald Blomfield / Carte Carte broșată
common.buy 236.82 lei
Vintage Menswear Douglas Gunn / Carte Copertă tare
common.buy 87.55 lei
Top
We Are Okay Nina Lacour / Carte Carte broșată
common.buy 54.52 lei
Real Turkish: Learn Conversational Turkish Through Dialogues Mehmet Sahin / Carte Carte broșată
common.buy 34.16 lei
Top
Neon Genesis Evangelion 3-in-1 Edition, Vol. 3 Yoshiyuki Sadamoto / Carte Carte broșată
common.buy 108.33 lei
Rock Chick Kristen Ashley / Carte Carte broșată
common.buy 126.09 lei
Business Plan Workbook Paul Barrow / Carte Carte broșată
common.buy 232.04 lei
Shakespeare in Autumn (Seasons Edition -- Fall) William Shakespeare / Carte Copertă tare
common.buy 112.90 lei
Leftin
Department of Truth, Volume 2: The City Upon a Hill James Tynion IV / Carte Carte broșată
common.buy 43.51 lei
Penguin Modern Classics Book Henry Eliot / Carte Copertă tare
common.buy 154.86 lei
Over the Rainbow Karen D. Hayes / Carte Copertă tare
common.buy 157.25 lei
Ukraine and Russia Paul D'Anieri / Carte Carte broșată
common.buy 136.69 lei
Backyard Birds 2026 7 X 7 Mini Wall Calendar / Calendar / Agendă Calendar
common.buy 48.19 lei
Aldous Huxley Nicholas Murray / Carte Carte broșată
common.buy 101.06 lei
Isotopes in Palaeoenvironmental Research Melanie Leng / Carte Copertă tare
common.buy 568.27 lei
Control and Protection of VSC-based Multi-terminal DC Networks Epameinondas Kontos / Carte Carte broșată
common.buy 227.16 lei
British Eyewitness at the Battle of New Orleans Robert Aitchison / Carte Carte broșată
common.buy 71.35 lei
Top
Botticelli Franz Zollner / Carte Copertă tare
common.buy 205.97 lei
How to Attract Investors Uffe Bundgaard-Jorgensen / Carte Copertă tare
common.buy 263.41 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?