<<The>> power of interaction

Chicago, Univ., Diss., 1991

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Lund, Carsten (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Cambridge, Mass u.a. MIT Press 1992
Schriftenreihe:	An ACM distinguished dissertation 1991,3
Schlagworte:	Automatisches Beweisverfahren > Randomisierung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!