A signature-based approach to formal logic verification

Bibliographische Detailangaben

1. Verfasser:	Mohnke, Janett 1967- (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	1999
Schlagworte:	Logiksynthese Boolesche Funktion NP-vollständiges Problem Verifikation OBDD Hochschulschrift
Online-Zugang:	http://sundoc.bibliothek.uni-halle.de/diss-online/99/99H050/prom.pdf http://d-nb.info/960520406/34
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!