Citace podle APA (7th ed.)

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.

Citace podle Chicago (17th ed.)

International Conference on Theorem Provers in Circuit Design, Ramayya Kumar, a 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.

Citace podle MLA (9th ed.)

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.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..