Explore: Tri (informatique)

Discover books, insights, and more — all in one place.

Learn more about Tri (informatique) with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “tri-%28informatique%29”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Computational aspects of an order-sorted logic with term declarations

By

Book's cover

“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: Median: 399
  • Publisher: Springer
  • Publish Date:

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

Edition Identifiers:

Access and General Info:

  • First Year Published: 1989
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

    Online Marketplaces

    Find Computational aspects of an order-sorted logic with term declarations at online marketplaces: