Special Issue on Tableaux and Analytic Proof Methods - Archive ouverte HAL Access content directly
Books Year : 2010

Special Issue on Tableaux and Analytic Proof Methods

(1)
1
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-01488691

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

Last modification on : Friday, October 22, 2021-3:34:06 AM

Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-01488691 , version 1

Cite

Nicola Olivetti. Special Issue on Tableaux and Analytic Proof Methods. 20 (2), 2010. ⟨hal-01488691⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

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

Share

Gmail Facebook Twitter LinkedIn More