Cover is for reference only

Extensional paramodulation for higher-order logic and its effective implementation Leo-III /

Saved in:
Bibliographic Details
Main Authors: Steen, Alexander
Published: IOS Press,
Publisher Address: Amsterdam :
Publication Dates: [2018]
Literature type: Book
Language: English
Series: Dissertations in artificial intelligence, volume 345
Subjects:
Automatic theorem proving > Computer programs
Logic programming
Logic, Symbolic and mathematical
Computer logic
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

Related Book Recommendations