Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
1st Edition
Published on 29. September 2018
Book
Paperback/Softback
978-1-61499-919-5 (ISBN)
More details
Language
English
Place of publication
London
Netherlands
Publishing group
IOS Press
Target group
Professional and scholarly
ISBN-13
978-1-61499-919-5 (9781614999195)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification