Schmidt - Schauss, M. Sorts and Types in Artifical Intelligence. Berlin: Springer- Verlag, 1990 307 p. 3-540-52337-5.
Schmidt - Schauss, M. Sorts and Types in Artifical Intelligence. Berlin: Springer- Verlag, 1990 307 p. 3-540-52337-5.
Schmidt - Schauss, M. (1990) Sorts and Types in Artifical Intelligence, Berlin: Springer- Verlag 307 p. 3-540-52337-5.
Schmidt - Schauss, M. (1990). Sorts and Types in Artifical Intelligence. Workshop,Eringerfeld,FRG, April 24-26, 1989 Proceedings. Berlin: Springer- Verlag, 307 p.
Schmidt - Schauss M. Sorts and Types in Artifical Intelligence: Workshop,Eringerfeld,FRG, April 24-26, 1989 Proceedings. Berlin: Springer- Verlag; 1990. p. 307 p. ISBN: 3-540-52337-5.
