Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016. Proceedings (Q295834)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016. Proceedings |
scientific article; zbMATH DE number 6593049
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016. Proceedings |
scientific article; zbMATH DE number 6593049 |
Statements
Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016. Proceedings (English)
0 references
13 June 2016
0 references
0.91611475
0 references
0.9059542
0 references
0.9037547
0 references
0.90341794
0 references
0.90246195
0 references
0.90040004
0 references
0.89962465
0 references
0.89955413
0 references
0.89784086
0 references
