From Tarski to Hilbert
type: Dataset
contact point: Organization
  fn: CCSD
keyword: formalization
keyword: coq
keyword: infoeu-reposemanticsconferenceobject
keyword: geometry
keyword: hilbert
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: formal-proof
keyword: conference-papers
keyword: tarski
landing page: Automated Deduction in Geometry 2012
description: International audience
issued: 2026-05-12T05:13:22.306031
language: en
modified: 2026-05-12T05:13:22.306037

From Tarski to Hilbert
type: Distribution
access URL: https://inria.hal.science/hal-00727117
format: HTML
issued: 2026-05-12T05:13:22.344078
modified: 2026-05-12T05:13:22.289986

test_moissonnage_selune
type: Agent