Conference series Beta
International Workshop on Automated Reasoning (IWAR)
- Events
- 1 (1992)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/series/s122rqh
Events (1)
19921992
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 1992 | Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 IWAR | Beijing | 1992-07-13/16 |
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
International Workshop on Automated Reasoning (IWAR). confref identifier s122rqh. https://id.confref.org/series/s122rqh
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.