Ramayya Kumar Books
Theorem Provers In Circuit Design: Theory, Practice, And Experience : Second International Conference, Tpcd '94, Bad Herrenalb, Germany, September 26-28, 1994 : Proceedings
By Ramayya Kumar, Thomas Kropf
This Volume Presents The Proceedings Of The Second International Conference On Theorem Provers In Circuit Design (tpcd '94) Jointly Organized By The Forschungszentrum Informatik (university Of Karl...
Read More
Theorem Provers In Circuit Design: Theory, Practice And Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September ...
By Ramayya Kumar, Thomas Kropf
This Volume Presents The Proceedings Of The Second International Conference On Theorem Provers In Circuit Design (tpcd '94) Jointly Organized By The Forschungszentrum Informatik (university Of Karl...
Read More