Automated Reasoning with Analytic Tableaux and Related Methods, Proc. of 16th International Conference, TABLEAUX 2007 - Aix-Marseille Université Accéder directement au contenu
Ouvrages Année : 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

Résumé

no abstract

Domaines

Informatique [cs] Automatique Traitement du signal et de l'image [eess.SP]

William Domingues Vinhas  : Connectez-vous pour contacter le contributeur

https://amu.hal.science/hal-01488703

Soumis le : lundi 13 mars 2017-22:43:32

Dernière modification le : mardi 5 décembre 2023-18:08:07

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01488703 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLN CNRS UNIV-AMU LSIS LIS-LAB IRENAV LAMPA LCPI LABOMAP LISPEN MSMP
42 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More