Conference series Beta
Workshop on Automated Reasoning (ARW)
- Events
- 1 (2000)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/series/s121ayk
Events (1)
20002000
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2000 | Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, King's College London, UK, 20-21 July 2000. ARW | King's College London | 2000-07-20/21 |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| confref portal (2020) | |
|---|---|
| dblp |
Cite
Workshop on Automated Reasoning (ARW). confref identifier s121ayk. https://id.confref.org/series/s121ayk
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.