Craig (1991)

Craig I. (1991)

The formal specification of advanced AI architectures

Ellis Horwood