DBLP:conf/ijcai/AntoniouO83 + redirect page
TERMINATOR + Has identifier
| TERMINATOR |
Has publishing details
pp. 916-919, 1983
Has title
TERMINATOR
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai83.html#AntoniouO83
Has where published
IJCAI
Has year
1983
Has author
Grigoris Antoniou +, Hans Jürgen Ohlbach +
Has identifier
TERMINATOR +
Categories Proceeding Paper +
|
