3 results · clear filters Sort: newest oldest name

1. 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)
   1994-09-26/28 · Bad Herrenalb, Germany
   Computer and information sciences
   e10exz6
2. Theorem Provers in Circuit Design (TPCD) (TPCD)
   series, 2 events, 1992 to 1994
   Computer and information sciences
   s10cfme
3. 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)
   1992-06-22/24 · Kingdom of the Netherlands
   Computer and information sciences
   e11x7ra

As JSON: https://labs.confref.org/api/search?field=1&series=s10cfme