データ種別 | 図書 |
---|---|
出版者 | London ; Boston ; Melbourne : Pitman |
本文言語 | und |
1 | Local and global interpretation of moving images / Guy L. Scott London : Pitman , 1988 |
2 | A many-sorted calculus based on resolution and paramodulation / Christoph Walther : Pitman,: Morgan Kaufmann. - London : Pitman , 1987 |