Analogy in Automated Deduction - A Survey
type: Distribution
access URL: https://hal.science/hal-00995596
format: HTML
issued: 2026-05-05T10:24:02.593615
modified: 2026-05-05T10:24:02.585432

test_moissonnage_selune
type: Agent

Analogy in Automated Deduction - A Survey
type: Dataset
contact point: Organization
  fn: CCSD
keyword: book-sections
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: infoeu-reposemanticsbookpart
landing page: Computational Approaches to Analogical Reasoning --- Current Trends
issued: 2026-05-05T10:24:02.592153
language: en
modified: 2026-05-05T10:24:02.592159