Automated Reasoning Series (Q5982594)
From MaRDI portal
academic book
Language | Label | Description | Also known as |
---|---|---|---|
English | Automated Reasoning Series |
academic book |
Language | Label | Description | Also known as |
---|---|---|---|
English | Automated Reasoning Series |
academic book |