"Computational aspects of an order-sorted logic with term declarations" - Information and Links:

Computational aspects of an order-sorted logic with term declarations - Info and Reading Options

Book's cover
The cover of “Computational aspects of an order-sorted logic with term declarations” - Open Library.

"Computational aspects of an order-sorted logic with term declarations" was published by Springer-Verlag in 1989 - Berlin, it has 171 pages and the language of the book is English.


“Computational aspects of an order-sorted logic with term declarations” Metadata:

  • Title: ➤  Computational aspects of an order-sorted logic with term declarations
  • Author:
  • Language: English
  • Number of Pages: 171
  • Publisher: Springer-Verlag
  • Publish Date:
  • Publish Location: Berlin

“Computational aspects of an order-sorted logic with term declarations” Subjects and Themes:

Edition Specifications:

  • Pagination: viii, 171 p. ;

Edition Identifiers:

AI-generated Review of “Computational aspects of an order-sorted logic with term declarations”:


Read “Computational aspects of an order-sorted logic with term declarations”:

Read “Computational aspects of an order-sorted logic with term declarations” by choosing from the options below.

Search for “Computational aspects of an order-sorted logic with term declarations” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Computational aspects of an order-sorted logic with term declarations” in Libraries Near You:

Read or borrow “Computational aspects of an order-sorted logic with term declarations” from your local library.

Buy “Computational aspects of an order-sorted logic with term declarations” online:

Shop for “Computational aspects of an order-sorted logic with term declarations” on popular online marketplaces.