Walther, Christoph
著者名典拠詳細を表示
| 1 | A many-sorted calculus based on resolution and paramodulation / Christoph Walther : Pitman,: Morgan Kaufmann. - London : Pitman , 1987 |
著者名典拠詳細を表示| 1 | A many-sorted calculus based on resolution and paramodulation / Christoph Walther : Pitman,: Morgan Kaufmann. - London : Pitman , 1987 |