| _version_ |
1826257213709090816
|
| author2 |
Stavridou, V
|
| author_facet |
Stavridou, V
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-06T18:14:35Z
|
| format |
Conference item
|
| id |
oxford-uuid:042d4288-03fd-4b65-82e3-1e579af3cb72
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T18:14:35Z
|
| publishDate |
1992
|
| publisher |
North−Holland
|
| record_format |
dspace
|
| spelling |
oxford-uuid:042d4288-03fd-4b65-82e3-1e579af3cb722022-03-26T08:50:22ZTheorem 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 1992Conference itemhttp://purl.org/coar/resource_type/c_5794uuid:042d4288-03fd-4b65-82e3-1e579af3cb72Department of Computer ScienceNorth−Holland1992Stavridou, VMelham, TBoute, R
|
| spellingShingle |
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
|
| title |
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
|
| title_full |
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
|
| title_fullStr |
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
|
| title_full_unstemmed |
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
|
| title_short |
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
|
| title_sort |
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
|