Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Rewriting Techniques and Applications Nachum Dershowitz

Rewriting Techniques and Applications

3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings

Szerző: Nachum Dershowitz
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer, Berlin
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 184 Ft
Rewriting has always played an important role in symbolic manipulation and automated deduction syste...

Információk a könyvről

Szerző
Nachum Dershowitz
Nyelv
Angol
Kötés
Könyv - Puha kötésű
oldal
589
EAN
9783540510819
ISBN
3540510818
Enbook ID
02092593
Kiadó
Springer, Berlin
Súly
1036
Méretek
155 x 233 x 30

Teljes leírás

Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and implementations, and symbolic and algebraic manipulation. The proceedings of the third International Conference on Rewriting Techniques and Applications contain 34 regular papers, covering many diverse aspects of rewriting (including equational logic, decidability questions, term rewriting, congruence-class rewriting, string rewriting, conditional rewriting, graph rewriting, functional and logic programming languages, lazy and parallel implementations, termination issues, compilation techniques, completion procedures, unification and matching algorithms, deductive and inductive theorem proving, Gröbner bases, and program synthesis). It also contains 12 descriptions of implemented equational reasoning systems. Anyone interested in the latest advances in this fast growing area should read this volume.

Érdekelheti

Communication from an Artificial Intelligence Perspective, 1

Andrew Ortony
57 329 Ft

Photorefractive Effects and Materials

David D. Nolte
76 401 Ft

My Ten Years' Imprisonment

Silvio Pellico
6 032 Ft

Walk in the Pine Bush

Dennis P Lassi
5 382 Ft

Need to Hold Still

Lisel Mueller
5 934 Ft

Towards a Postsecular International Politics

L. Mavelli
19 763 Ft

The Story of Germany

Arthur Gilman
10 679 Ft

Third Wish

Deby Adair
3 956 Ft

Changing Majors

Ana Hartnett Reichardt
7 204 Ft

5 MORE SLEEPS TILL HALLOWEEN

FALLON JIMMY
5 934 Ft

China's Vertical Multilateralism and the Global South

Dominik Mierzejewski
76 530 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Woerterbuch der Science-Fiction

Peter Schlobinski
13 535 Ft

Alpenkoenig und der Menschenfeind

Ferdinand Raimund
2 415 Ft

Virtudes curativas de la manzana

JORGE SINTES PROS
4 250 Ft

THE BEST OF EASY JAZZ - PIANO PIANO

4 424 Ft

Droits de l'homme et justice

Nana
5 582 Ft