Showing 1 - 1 results of 1 for search 'International Conference on Algebraic Methodology and Software Technology Montreal, Canada', query time: 0.05s
Refine Results
-
1
Algebraic methodology and software technology /
Published 1995“…International Conference on Algebraic Methodology and Software Technology Montreal, Canada…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Administración de bases de datos
Database management
Deducción y prueba de teoremas
Deduction and theorem proving
Formal languages
Ingenieria de software
Lenguajes formales
Logic programming
Logics and meanings of programs
Lógica matemática
Lógica y significado de programas
Mathematical logic
Programación en lógica
Sistemas con propósito y aplicación especial
Software engineering
Special-purpose and application-based systems