Showing 1 - 6 results of 6 for search 'Gabbay, Dov M., 1945-', query time: 0.02s
Refine Results
-
1
Elementary logics : a procedural perspective / by Gabbay, Dov M., 1945-
Published 1998Call Number: Loading…
Located: Loading…Book Loading… -
2
Handbook of philosophical logic /
Published 1999Other Authors: “…Gabbay, Dov M., 1945-…”
Call Number: Loading…
Located: Loading…Book Loading… -
3
Practical reasoning /
Published 1996Other Authors: “…Gabbay, Dov M., 1945-…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
4
Handbook of logic in computer science /
Published 1992Other Authors:Call Number: Loading…
Located: Loading…Book Loading… -
5
Handbook of logic in artificial intelligence and logic programming /
Published 1998Other Authors: “…Gabbay, Dov M., 1945-…”
Call Number: Loading…
Located: Loading…Book Loading… -
6
Qualitative and quantitative practical reasoning /
Published 1997Other Authors: “…Gabbay, Dov M., 1945-…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Artificial intelligence
Inteligencia artificial
Mathematical logic-Computation
Lógica matemática
Lógica matemática-Computación
Deducción y prueba de teoremas
Deduction and theorem proving
Formal languages
Lenguajes formales
Logic programming
Logics and meanings of programs
Lógica matemática-Computacion
Lógica y significado de programas
Mathematical logic
Programación en lógica
Semantics of programming languages
Semántica de lenguajes de programación