Rewriting Techniques and Applications

3rd International Conference, Rts-89 Chapel Hill, North Carolina, USA April 3-5, 1989 Proceedings (Lecture Notes in Computer Science)

by | Editor: Springer
Average vote of 1
| 0 total contributions of which 0 reviews , 0 quotes , 0 images , 0 notes , 0 video
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, progr ...Continua
- TIPS -
Nessun elemento trovato
Aggiungi per primo una recensione!

- TIPS -
Nessun elemento trovato
Aggiungi per primo una citazione!

- TIPS -
Nessun elemento trovato
Aggiungi per primo una immagine!

- TIPS -
Nessun elemento trovato
Aggiungi per primo una nota!

- TIPS -
Nessun elemento trovato
Aggiungi per primo un video!

Lorem Ipsum Color sit Amet
di Nome Autore
Lorem ipsum dolor sit amet, consectetur Suspendisse varius consequat feugiat.
Scheda libro
Aggiungi