Automated Reasoning with Analytic Tableaux and Related Methods, Proc. of 16th International Conference, TABLEAUX 2007 - Archive ouverte HAL Access content directly
Books Year : 2007

Automated Reasoning with Analytic Tableaux and Related Methods, Proc. of 16th International Conference, TABLEAUX 2007

Nicola Olivetti
Laboratoire des Sciences de l'Information et des Systèmes

Abstract

no abstract

Domains

Computer Science [cs] Computer Science [cs] Automatic Control Engineering Engineering Sciences [physics] Signal and Image processing

William Domingues Vinhas  : Connect in order to contact the contributor

https://hal-amu.archives-ouvertes.fr/hal-01488703

Submitted on : Monday, March 13, 2017-10:43:32 PM

Last modification on : Friday, March 24, 2023-2:53:04 PM

Not file

Dates and versions

hal-01488703 , version 1 (13-03-2017)

Identifiers

  • HAL Id : hal-01488703 , version 1

Cite

Nicola Olivetti. Automated Reasoning with Analytic Tableaux and Related Methods, Proc. of 16th International Conference, TABLEAUX 2007. 4548, 2007, LNAI. ⟨hal-01488703⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-TLN CNRS UNIV-AMU LSIS LIS-LAB ARTS-ET-METIERS-SCIENCES-ET-TECHNOLOGIES
40 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More