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

test_moissonnage_selune
type: Agent

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