EVA STAR Trefferanzeige

Volltext Volltext.ps1.ps (372 KB) Eisenbiegler.pdf2.pdf (224 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA2948958
Titel An automata theory dedicated towards formal circuit synthesis
Autor Kumar, Ramayya
Eisenbiegler, Dirk
Institution Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
Forschungszentrum Informatik, Karlsruhe (FZI)
Dokumenttyp Aufsatz in einem Buch / Sammelwerk / Proceedings
Erschienen in Higher order logic theorem proving and its applications. Ed.: E.T. Schubert
Verlag: Springer Verl., Berlin
Jahr: 1995
ISBN: 3-540-60275-5
Seitenangabe: 154 - 169

Serie:
Lecture notes in computer science ; 971
ISSN: 0302-9743