A many-sorted calculus based on resolution and paramodulation / Christoph Walther.

Saved in:
Bibliographic Details
Main Author: Walther, Christoph
Format: Book
Language:English
Published: London : Pitman, 1987
Series:Research notes in artificial intelligence,
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

Pilkington Library - Pilkington Main Collection

Call Number: 511.3/WAL
Copy [029326801] Available