Cita APA

International Conference on Theorem Provers in Circuit Design, Kumar, R., & Kropf, T. (1995). Theorem provers in circuit design: Theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings. Springer-Verlag.

Citación estilo Chicago

International Conference on Theorem Provers in Circuit Design, Ramayya Kumar, and Thomas Kropf. Theorem Provers in Circuit Design: Theory, Practice, and Experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : Proceedings. Berlin: Springer-Verlag, 1995.

Cita MLA

International Conference on Theorem Provers in Circuit Design, et al. Theorem Provers in Circuit Design: Theory, Practice, and Experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : Proceedings. Springer-Verlag, 1995.