Showing 1 - 1 results of 1 for search 'Workshop on Computer Science Logic Padernborn, Germany, Annual conference of the EACSL', query time: 0.01s
Refine Results
-
1
Computer science logic /
Published 1996“…Workshop on Computer Science Logic Padernborn, Germany, Annual conference of the EACSL…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Deducción y prueba de teoremas
Deduction and theorem proving
Formal languages
Knowledge representation formalisms and methods frames and scripts
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