Using a SMT Solver for Risk Analysis: Detecting Logical Mistakes in Texts release_g7axzejizzg7bnxiujfrqcz26a

by F. Bannay, M.C. Lagasquie-Schiex, W. Raynaut, P. Saint-Dizier

Archived Files and Locations

application/pdf  803.2 kB
file_zlbjevx2ovfldh3txiaq6a4paa
web.archive.org (webarchive)
hal.archives-ouvertes.fr (web)
application/pdf  928.9 kB
file_qs6wwq7ozzffjbunsarvvcnyru
hal.archives-ouvertes.fr (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2014
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 847f7d31-f477-4b25-a548-12fee80c402c
API URL: JSON