Showing 1 - 1 results of 1 for search 'Dalen, Dirk, 1932-', query time: 0.01s
Refine Results
-
1
Computer science logic /
Published 1997Other Authors: “…Dalen, Dirk, 1932-…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Artificial intelligence
Coding and information theory
Deducción y prueba de teoremas
Deduction and theorem proving
Formal languages
Inteligencia artificial
Knowledge representation formalisms and methods frames
Lenguajes formales
Logics and meanings of programs
Lógica matemática
Lógica y significado de programas
Mathematical logic
Representación del conocimiento, métodos, formas y scripts
Teoría de códigos y de la información