Conference series Beta
Theorem Provers in Circuit Design (TPCD)
TPCD
- Events
- 2 (1992 to 1994)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/series/s10cfme
Events (2)
19921994
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 1994 | Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings TPCD 1994, TPCD | Bad Herrenalb | 1994-09-26/28 | |
| 1992 | Theorem Provers in Circuit Design, Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24 June 1992, Proceedings TPCD | Kingdom of the Netherlands | 1992-06-22/24 |
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) | |
|---|---|
| Wikidata | |
| dblp | |
| GND |
Cite
Theorem Provers in Circuit Design (TPCD). confref identifier s10cfme. https://id.confref.org/series/s10cfme
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.