22nd Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Ouvrages Année : 2013

22nd Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Didier Galmiche
  • Fonction : Directeur scientifique
  • PersonId : 746081
  • IdHAL : didier-galmiche
Logic, proof Theory and Programming
Dominique Larchey-Wendling
Logic, proof Theory and Programming

Domaines

Logique en informatique [cs.LO]

Didier Galmiche  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01259794

Soumis le : mercredi 20 janvier 2016-23:41:25

Dernière modification le : vendredi 24 mars 2023-14:53:01

Fichier non déposé

Dates et versions

hal-01259794 , version 1 (20-01-2016)

Identifiants

  • HAL Id : hal-01259794 , version 1

Citer

Didier Galmiche, Dominique Larchey-Wendling (Dir.). 22nd Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Didier Galmiche and Dominique Larchey-Wendling 2013, Lecture Notes in Artificial Intelligence 8123. ⟨hal-01259794⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE LORIA
61 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More