Notice de collectivité
- Notice
000 00567n4 ac22000272 45
001 FRBNF173099970
008 180207 xxund 1 2012 a 1 1
045 .. $a a
110 .. $w ....b..... $a IJCAR Conference $i 6 $d 2012 $l Manchester, England
610 .. $a Automated reasoning [Texte électronique] : 6th International Joint Conference, IJCAR
2012, Manchester, UK, June 26-29, 2012. Proceedings / Bernhard Gramlich, Dale Miller,
Uli Sattler (eds.).- Berlin ; New York : Springer, [2012]
