edited by Robert A. Kowalski and Kenneth A. Bowen

MIT Press c1988 MIT Press series in logic programming

: set , v. 1 , v. 2

所蔵館29館

sponsored by the Computer Society of the IEEE

Computer Society Press [1987]

: pbk. , : case

所蔵館5館

sponsored by the Computer Society of the IEEE

IEEE Computer Society Press , Order from IEEE Computer Society c1987

pbk. , microfiche , case

所蔵館2館

IEEE Computer Society Press , Order from IEEE Computer Society c1986

: pbk. , : microfiche , : case

所蔵館12館

sponsored by IEEE Computer Society, Technical Committee on Computer Languages

IEEE Computer Society Press , Order from IEEE Computer Society c1985

pbk. , hard , microfiche

所蔵館7館