Automated qualitative reasoning with dimensional analysis

Bibliographische Detailangaben

1. Verfasser:	Roque, W. L. (VerfasserIn)
Weitere Verfasser:	Santos, R. P. dos (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Linz RISC; Research Institute for Symbolic Computation; Johannes Kepler Univ. 1991
Schriftenreihe:	RISC-Linz series 91-12
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!