Computational Aspects of an Order-Sorted Logic with Term Declarations
Book
Paperback/Softback
171 pages
978-0-387-51705-6 (ISBN)
More details
Series
Language
English
Place of publication
Germany
Target group
College/higher education
Professional and scholarly
ISBN-13
978-0-387-51705-6 (9780387517056)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification