Journal of Automated Reasoning.
保存先:
| フォーマット: | Revue numérique |
|---|---|
| 言語: | Indéterminée |
| 出版事項: |
Springer Nature
|
| オンライン･アクセス: | Accès Université d'Orléans |
| État de collection: | Revue numérique .- État de collection : 1997 à nos jours |
| Variante du titre: | Journal of Automated Reasoning |