Déduction automatique
type: Dataset
issued: 2026-05-05T10:24:01.551747
language: fr
modified: 2026-05-05T10:24:01.551752
contact point: Organization
  fn: CCSD
keyword: book-sections
keyword: infoeu-reposemanticsbookpart
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
landing page: L'I.A. frontières et Applications -- Volume 2. Algorithmes pour l'intelligence artificielle

Déduction automatique
type: Distribution
format: HTML
issued: 2026-05-05T10:24:01.555479
modified: 2026-05-05T10:24:01.542487
access URL: https://hal.science/hal-00995598

test_moissonnage_selune
type: Agent