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 17.50 lei Urgent Cargus 30.50 lei Easybox 22.50 lei Punct FAN 18.50 lei Punct DPD 19.50 lei Curier DPD 27.50 lei FAN Courier 27.50 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Canonical Equational Proofs

Limba englezăengleză
Carte Carte broșată
Carte Canonical Equational Proofs achmair
Codul Libristo: 02178755
Editura Springer, Basel, iunie 1991
Equations occur in many computer applications, such as symbolic compu tation, functional programming... Descrierea completă
? points 132 b
288.64 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Az isteni tánc Richard Rohr / Carte Carte broșată
common.buy 48.05 lei
Mirades infinites / Carte Carte broșată
common.buy 99.82 lei
Top
Nuovissimo Progetto italiano - Edizione per insegnanti. Libro dello studente + DVD Telis Marin / Carte Carte broșată
common.buy 290.84 lei
Ebrei in Ancona. Storia di una comunità dall’Unità d’Italia ai giorni nostri Claudio Bruschi / Carte Carte broșată
common.buy 167.14 lei
400 citations pour voir le monde differemment Lama / Audiobook MP3
common.buy 29.59 lei
Speak Down the Wires Edgar Broughton Band / Audio Audio CD
common.buy 183.79 lei
Manual práctico de los mejores equipos DANIEL COYLE / Carte Carte broșată
common.buy 141.05 lei
Autres nouvelles romaines Moravia / Carte Carte
common.buy 28.98 lei
Mateo falcone Merimee Prosper Carte Carte broșată
common.buy 20.16 lei
Determinación DE Salmonella spp /Escherichia coli en Chorizos de pavo Andrea Mendoza / Carte Carte broșată
common.buy 200.25 lei
Direccion e innovacion en la industria del fitness Jeronimo Garcia Fernandez / Carte Carte broșată
common.buy 136.44 lei
Anhang zu dem Bande der allgemeinen Deutschen Bibliothek Heinrich Preschers / Carte Carte broșată
common.buy 205.26 lei
Ocio y turismo en la sociedad actual María Violante Martínez Quintana / Carte Carte broșată
common.buy 280.71 lei
La oficina LARS BERGE / Carte Carte broșată
common.buy 113.16 lei
Cuando ya no importe Onetti / Carte Carte broșată
common.buy 101.72 lei
ZIGZAG 2 ELEVE + CD Hélene Vanthier / Carte Carte broșată
common.buy 158.61 lei
Monsieur Louis-Napoleon Bonaparte, President de la Republique Francaise Gautrin / Carte Carte broșată
common.buy 60.29 lei
Kulturforderung Rupert Graf Strachwitz / Carte Carte broșată
common.buy 323.55 lei
Saurer Apfel / Carte Carte broșată
common.buy 78.55 lei
Was von der Kindheit bleibt Vera Barbara Wood / Carte Copertă tare
common.buy 136.64 lei
Rektumchirurgie Markus von Flüe / Carte Carte broșată
common.buy 421.97 lei
Kopfe Maximilian Harden / Carte Copertă tare
common.buy 150.48 lei
Quellen zur Deutschen Reichs- und Rechtsgeschichte H. D. Lehmann / Carte Carte broșată
common.buy 200.25 lei
Kleine deutsche Museumsgeschichte Olaf Hartung / Carte Copertă tare
common.buy 242.79 lei

Equations occur in many computer applications, such as symbolic compu tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated theorem proving. Rewrite systems are directed equations used to compute by replacing subterms in a given formula by equal terms until a simplest form possible, called a normal form, is obtained. The theory of rewriting is concerned with the compu tation of normal forms. We shall study the use of rewrite techniques for reasoning about equations. Reasoning about equations may, for instance, involve deciding whether an equation is a logical consequence of a given set of equational axioms. Convergent rewrite systems are those for which the rewriting process de fines unique normal forms. They can be thought of as non-deterministic functional programs and provide reasonably efficient decision procedures for the underlying equational theories. The Knuth-Bendix completion method provides a means of testing for convergence and can often be used to con struct convergent rewrite systems from non-convergent ones. We develop a proof-theoretic framework for studying completion and related rewrite based proof procedures. We shall view theorem provers as proof transformation procedures, so as to express their essential properties as proof normalization theorems.

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 Canonical Equational Proofs
Autor achmair
Limba engleză
Legare Carte - Carte broșată
Data publicării 1991
Număr pagini 138
EAN 9780817635558
ISBN 0817635556
Codul Libristo 02178755
Editura Springer, Basel
Greutatea 420
Dimensiuni 160 x 240 x 16

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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

Prom: The Big Night Out Jill S. Zimmerman Rutledge / Carte Copertă tare
common.buy 218.23 lei
Politics of Classroom Life Nobuo K. Shimahara / Carte Copertă tare
common.buy 842.05 lei
Dissertation of John Selden, Annexed to Fleta. Translated, with Notes. by the Editor of Britton John Selden / Carte Carte broșată
common.buy 122.59 lei
Red Bird Woman Gail Wood / Carte Carte broșată
common.buy 55.67 lei
Bruma and the Enchanted Forest Martin Barajas / Carte Copertă tare
common.buy 139.45 lei
Blood of the Lamb of God A Elizabeth Verbeek / Carte Copertă tare
common.buy 156.40 lei
Beautiful Birds in the World PIE BOOKS / Carte Carte broșată
common.buy 186.20 lei
Curând
Chartres Cathedral PB - French Malcolm Miller / Carte Carte broșată
common.buy 60.99 lei
Behavioral Science in the Wild Nina Mazar / E-book Adobe ePub DRM
common.buy 171.05 lei
Keeping Company Amanda Kearney / Carte Copertă tare
common.buy 1 391.55 lei
American Scenes, and Christian Slavery Ebenezer Davies / Carte Carte broșată
common.buy 145.67 lei
Pedestrian and Other Reminiscences at Home and Abroad, with Sketches of Country Life Robert Colton / Carte Copertă tare
common.buy 196.74 lei
The Infamous Ellen James N a Alcorn / Carte Carte broșată
common.buy 69.32 lei
2011 Electricians Handbook of NEC Questions Ray Holder / Carte Carte broșată
common.buy 265.16 lei
Engleski jezik za studente tehnike Slobodan D Jovanovic / Carte Carte broșată
common.buy 60.29 lei
At War's Summit Statiev / Carte Copertă tare
common.buy 226.53 lei
Modernizing the Korean Welfare State Neil Gilbert / Carte Carte broșată
common.buy 280.31 lei
Antichrist Arthur W. Pink / Carte Carte broșată
common.buy 88.78 lei
Band of Breakers Alisha Klapheke / Carte Carte broșată
common.buy 116.07 lei
Let's Build a Model! Annette Gulati / Carte Copertă tare
common.buy 180.98 lei
Inspector Sinclaiir and Sergeant Powers' most interesting cases Ray Filby / Carte Carte broșată
common.buy 78.55 lei
Biopsy Pathology of the Bronchi Elizabeth M. McDowell / Carte Carte broșată
common.buy 333.58 lei
Works of the British Poets, from Chaucer to Morris, with Biographical Sketches / Carte Copertă tare
common.buy 599.00 lei
Bold & Easy Cute Llama Coloring Book Revive Coloring Books / Carte Carte broșată
common.buy 51.06 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?