Computational Aspects of an Order-Sorted Logic with Term Declarations

37.44 €

Order
Computational Aspects of an Order-Sorted Logic with Term Declarations

More from the series "Lecture Notes in Artificial Intelligence"

More from the series "Lecture Notes in Computer Science"

More books by Manfred Schmidt-Schauß

Log in to get access to this book and to automatically save your books and your progress.

Purchase this book or upgrade to dav Pro to read this book.

When you buy this book, you can access it regardless of your plan. You can also download the book file and read it in another app or on an Ebook reader.

80 % of the price goes directly to the author.

ISBN: 9783540517054

Language: English

Publication date: 20.09.1989

Number of pages: 174

Our shipping costs are a flat rate of €2.50, regardless of the order.
Currently, we only ship within Germany.

Shipping is free for PocketLib Pro users.

An error occured. Please check your internet connection or try it again later.