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.
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 Manfred Schmidt-Schauss

“Computational aspects of an order-sorted logic with term declarations” Metadata:
- Title: ➤ Computational aspects of an order-sorted logic with term declarations
- Author: Manfred Schmidt-Schauss
- Language: English
- Number of Pages: Median: 399
- Publisher: Springer
- Publish Date: 1989
“Computational aspects of an order-sorted logic with term declarations” Subjects and Themes:
- Subjects: ➤ Logique 1er ordre - Logique symbolique et mathématique - Sorting (Electronic computers) - Symbolic and mathematical Logic - Résolution problème - Représentation connaissance - Tri (Informatique) - Déduction automatique - Ordnungssortierte Logik - Formalisme - Tri (Ordinateurs) - Logique mathématique - Unifikationstheorie
Edition Identifiers:
- The Open Library ID: OL12775894M
- All ISBNs: 354051659X - 9783540516590
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:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.