Extensional paramodulation for higher-order logic and its effective implementation Leo-III /
Saved in:
Main Authors: | |
---|---|
Published: |
IOS Press,
|
Publisher Address: | Amsterdam : |
Publication Dates: | [2018] |
Literature type: | Book |
Language: | English |
Series: |
Dissertations in artificial intelligence,
volume 345 |
Subjects: | |
Item Description: | Originally a dissertation submitted to the Department of Mathematics and Computer Science of Freie Universität Berlin on 07 June 2018, and defended on 11 July 2018. |
Carrier Form: | xiii, 231 pages : illustrations, forms ; 21 cm. |
Bibliography: | Includes bibliographical references (pages 205-231) and index. |
ISBN: |
9781614999195 (paperback) : 1614999198 (paperback) |
Index Number: | QA76 |
CLC: | TP301.6 |
Call Number: | TP301.6/S814 |