Decidability of logical theories and their combination /

Ejemplares similares

• Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday /
  Publicado: (2019)
• Combining object-oriented and logic programming /
  por: Jenkins Coronas, Marcelo, et al.
  Publicado: (1992)
• Deciding how to decide /
  por: Courtney, Hugh
• Decide /
  por: Rivas, Sandra
  Publicado: (2000)
• Theories in logic /
  por: Windelband, Wilhelm, 1848-1915
  Publicado: (1961)