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.
Wiki
Source: Wikipedia
Wikipedia Results
Search Results from Wikipedia
Esoteric programming language
Camille (2009). "Langages ésotériques". Poétique des codes sur le réseau informatique. Archives contemporaines. ISBN 978-2-914610-70-4. Cox, Geoff (2013).
Charles Sanders Peirce
Morand of the Institut Universitaire de Technologie (France), Département Informatique. On the varying terminology, look up in Commens Digital Companion to
List of video game publishers
Crumble and Chomp! various Olympics-themed games video game developer ERE Informatique France 1981 Macadam Bumper acquired by Infogrames in 1987 ESA (formerly
Open educational resources in Canada
impact on what professors do with their material. The Laboratoire en Informatique Cognitive et Environnements de Formation (LICEF) is a research centre
List of graphic adventure games
ST, Amstrad CPC 28 November 1987 [unknown] Captain Blood Exxos (ERE Informatique) Infogrames Atari ST, Amiga, Apple IIGS, IBM PC, Amstrad CPC, Commodore
Positive feedback
Robert. "Latches and flip-flops". Laboratoire Bordelais de Recherche en Informatique. Archived from the original on 16 July 2011. Retrieved 4 November 2010
List of humanitarian aid to Ukraine during the Russo-Ukrainian War
"Solidarité européenne envers l'Ukraine : nouveau convoi d'équipements informatiques – Communiqué de presse du Gouvernement". France Diplomatie – Ministère
List of computer system manufacturers
d'Automatisme — France 1947 1966 Merged within CII Société européenne de mini-informatique et systèmes — France 1976 1982 Merged into Groupe Bull Solbourne Computer
List of datasets for machine-learning research
sur les modèles et l'analyse des réseaux: Approches mathématiques et informatiques. 2013. Sabharwal, Ashish; Samulowitz, Horst; Tesauro, Gerald (2015)
List of ZX Spectrum games
Software Services 1985 Macadam Bumper Personal Software Services ERE Informatique 1985 Swords and Sorcery Personal Software Services Mike Simpson, Paul