"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

By Manfred Schmidt-Schauss ( 1953 - )

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” Metadata:

Title: ➤ Computational aspects of an order-sorted logic with term declarations
Author: Manfred Schmidt-Schauss

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

Subjects: ➤ Sorting (Electronic computers) - Symbolic and mathematical Logic

Edition Identifiers:

The Open Library ID: OL15995978W

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

Select your preferred language for the answer

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.

The WorldCat Libraries Catalog: Find a copy of “Computational aspects of an order-sorted logic with term declarations” at a library near you.

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.

Ebay: New and used books.

Related Books