Linking BDD-based symbolic evaluation to interactive theorem-proving

Bibliographische Detailangaben

1. Verfasser:	Joyce, Jeffrey J. (VerfasserIn)
Körperschaft:	University of British Columbia Department of Computer Science (Herausgebendes Organ)
Weitere Verfasser:	Seger, Carl-Johan H. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Vancouver University of British Columbia, Department of Computer Science 1993
Schriftenreihe:	Technical report / Department of Computer Science, University of British Columbia 93-18
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!