Comentarios: Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner, ed.

Summary goes here

Gardado en:

Detalles Bibliográficos
Formato:	Libro
Idioma:	inglés
Subjects:	Rewriting systems (Computer science) Computer programming Algorithms Programming (Electronic computers). algorithms. Algorithms. Computer programming. Graph-Grammatik Programmiersprache Reduktionssystem Kongress Algebraïsche logica. Bewijstheorie. Herschrijfregels. Computermethoden. Logic, Symbolic and mathematical Réécriture, Systèmes de (informatique) AlgorithmsCongresses Computer programmingCongresses Rewriting systems (Computer science)Congresses Conference papers and proceedings. Montréal (1993)
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Sexa o primeiro en deixar un comentario!