Showing 1 - 1 results of 1 for search 'Comon, Hubert', query time: 0.01s
Refine Results
-
1
Rewriting techniques and applications /
Published 1997Other Authors: “…Comon, Hubert…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Algebraic manipulation
Automatic programming
Deducción y prueba de teoremas
Deduction and theorem proving
Formal languages
Lenguajes de programación
Lenguajes formales
Lógica matemática
Manipulación algebraica
Mathematical logic
Programación automática
Programming languages
Semantics of programming languages
Semántica de lenguajes de programación