Showing 1 - 3 results of 3 for search 'Meinke, Karl', query time: 0.02s
Refine Results
-
1
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /
Published 1997Other Authors:Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
2
Computer science logic /
Published 1994Other Authors:Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
3
Higher-order algebra, logic and term rewriting /
Published 1996Other Authors:Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Lenguajes formales
Lógica matemática
Lógica y significado de programas
Deducción y prueba de teoremas
Formal languages
Logics and meanings of programs
Mathematical logic
Computación mediante dispositivos abstractos
Deduction and theorem proving
Lenguajes de programación
Programming languages
Representación del conocimiento, métodos, formas y scripts