Showing 1 - 1 results of 1 for search 'Maher, Michael, 1959-', query time: 0.01s
Refine Results
-
1
Over-constrained systems /
Published 1996Other Authors:Call Number: Loading…
Located: Loading…Book Loading…
Search Tools:
Related Subjects
Clasificación de lenguajes
Concurrent programming
Deducción y prueba de teoremas
Deduction and theorem proving
Knowledge representation formalisms and methods frames and scripts
Language classifications
Language constructs and features
Lenguaje-Construcciones y características
Logic programming
Lógica matemática-Computación
Mathematical logic-Computation
Problem solving, control methods and search backtracking
Programación concurrente
Programación-Técnicas
Programming techniques
Representación del conocimiento, métodos, formas y scripts
Semantics of programming languages
Semántica de lenguajes de programación