Explore: Complétude
Discover books, insights, and more — all in one place.
Learn more about Complétude with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “compl%c3%a9tude”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Logique et fondements de l'informatique
By Richard Lassaigne
“Logique et fondements de l'informatique” Metadata:
- Title: ➤ Logique et fondements de l'informatique
- Author: Richard Lassaigne
- Language: fre
- Number of Pages: Median: 248
- Publisher: Hermès
- Publish Date: 1993
- Publish Location: Paris
“Logique et fondements de l'informatique” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Computer science - Mathematics - Lambda calculus - Recursive functions - Logic programming - Computable functions - First-order logic - Incomplétude - Indécidabilité - Fonction récursive - Programmation en logique - Complétude - Déduction - Calcul propositionnel - Lambda calcul - Calculabilité - Logique 1er ordre - Logique symbolique et mathématique - Informatique - Mathématiques - Lambda-calcul - Fonctions récursives - Programmation logique - Fonctions calculables - Logique du premier ordre - Berechenbarkeit - Lambda-Kalkül - Logik - Stufe 1 - Logique - Manuel - Calcul lambda
Edition Identifiers:
- The Open Library ID: OL38567539M
- Online Computer Library Center (OCLC) ID: 28985507
- All ISBNs: 9782866013806 - 2866013808
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
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:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Logique et fondements de l'informatique at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Compositionality, concurrency, and partial correctness
By J. Zwiers
“Compositionality, concurrency, and partial correctness” Metadata:
- Title: ➤ Compositionality, concurrency, and partial correctness
- Author: J. Zwiers
- Language: English
- Number of Pages: Median: 272
- Publisher: Springer-Verlag
- Publish Date: 1989
- Publish Location: New York - Berlin
“Compositionality, concurrency, and partial correctness” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Parallel processing (Electronic computers) - Décomposition programme - Compositionnalité - TNP - Théorèmes - DNP - Processus communicant - Modularité - Parallélisme (informatique) - Correction programme - Complétude - Démonstration automatique - Preuve programme - Réseau processus - Partiell korrektes Programm - Programmverifikation - Dekomposition - Nebenläufigkeit
Edition Identifiers:
- The Open Library ID: OL2186311M
- Online Computer Library Center (OCLC) ID: 19323130
- Library of Congress Control Number (LCCN): 89004329
- All ISBNs: 9780387508450 - 0387508457
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 Compositionality, concurrency, and partial correctness at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Rewriting techniques and applications
By Pierre Lescanne
“Rewriting techniques and applications” Metadata:
- Title: ➤ Rewriting techniques and applications
- Author: Pierre Lescanne
“Rewriting techniques and applications” Subjects and Themes:
- Subjects: ➤ Réécriture - Algebraïsche logica - Réécriture, Systèmes de (informatique) - Implémentation - Génération code - Congrès - Produktion (Informatik) - Informatique - Théorie groupe - Termersetzungssystem - Bewijstheorie - Algorithmes - Datenverarbeitung - Réécriture, Systèmes de (Informatique) - Reduktionssystem - Specificatie - Complétude - Kongress - Computermethoden - Computer algorithms - Programmation (Informatique) - Congresses - Computer programming - Rewriting systems (Computer science) - Compilation
Access and General Info:
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Rewriting techniques and applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.