Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 2012, Proceedings

Gramlich Bernhard Dale Miller 1, 2 Sattler Uli 3
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
3 School of Computer Science
School of Computer Science [Manchester]
Type de document :
Ouvrage (y compris édition critique et traduction)
Springer, 7364, pp.568, 2012, lnai, 〈10.1007/978-3-642-31365-3〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00776254
Contributeur : Dale Miller <>
Soumis le : mardi 15 janvier 2013 - 11:55:24
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14

Identifiants

Collections

Citation

Gramlich Bernhard, Dale Miller, Sattler Uli. Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 2012, Proceedings. Springer, 7364, pp.568, 2012, lnai, 〈10.1007/978-3-642-31365-3〉. 〈hal-00776254〉

Partager

Métriques

Consultations de la notice

141