English
Home
Suchen
Browsen
Einreichen
Sitemap
Schließen
Filtern
Volltext vorhanden
nein
(2)
Autor*in
Kunz, Wolfgang (2)
(entfernen)
Erscheinungsjahr
1994 (2)
(entfernen)
Dokumenttyp
Wissenschaftlicher Artikel
(2)
Sprache
Englisch (2)
(entfernen)
Gehört zur Bibliographie
ja
(2)
Institut
Institut für Informatik und Computational Science (2)
(entfernen)
2
Treffer
1
bis
2
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Sortieren nach
Jahr
Jahr
Titel
Titel
Autor*in
Autor*in
Recursive learning : a new implication technique for efficient solutions to CAD problems : test, verification and optimization
(1994)
Kunz, Wolfgang
;
Pradhan, D. K.
Multi-level logic optimization by implication analysis
(1994)
Kunz, Wolfgang
;
Menon, P.
1
bis
2
Verstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.