Methods - the basic units for planning and verifying proofs

Bibliographische Detailangaben

1. Verfasser:	Huang, Xiaorong (VerfasserIn)
Körperschaft:	Universität des Saarlandes Fachbereich Angewandte Mathematik und Informatik (BerichterstatterIn)
Weitere Verfasser:	Kerber, Manfred (VerfasserIn), Kohlhase, Michael (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Saarbrücken Univ., Fachbereich Informatik 1992
Schriftenreihe:	SEKI-Report 92,20
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!