Jürgen Kunze and Herbert Stoyan (Editors)
In proceedings of KI-94 Workshops - Extended Abstracts, pages 319-320, Gesellschaft für Informatik e.V., Bonn, Sept. 1994
Bibtex
@INPROCEEDINGS{Weber94c,
author = {Weber, Andreas},
editor = {Kunze, J{\"u}rgen and Stoyan, Herbert},
pages = {319--320},
title = {Coercions and Subtyping: Some Type-theoretic Investigations between Computer Algebra and Artificial
Intelligence},
booktitle = {KI-94 Workshops - Extended Abstracts},
year = {1994},
month = sep,
publisher = {Gesellschaft f{\"u}r Informatik e.V., Bonn}
}