Explore: Théorie Démonstration
Discover books, insights, and more — all in one place.
Learn more about Théorie Démonstration with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “th%C3%A9orie-d%C3%A9monstration”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Foundations of Disjunctive Logic Programming
By Jorge Lobo
“Foundations of Disjunctive Logic Programming” Metadata:
- Title: ➤ Foundations of Disjunctive Logic Programming
- Author: Jorge Lobo
- Language: English
- Number of Pages: Median: 307
- Publisher: MIT Press
- Publish Date: 1992
- Publish Location: Cambridge, Mass
“Foundations of Disjunctive Logic Programming” Subjects and Themes:
- Subjects: ➤ Logic programming (Computer science) - Logic programming - Théorie démonstration - Négation - Programmation logique - Adjunktion - Programmation déclarative - Adjunktion (Logik) - Logique disjonctive - Base donnée déductive - Programmation en logique - Logische Programmierung - Computer programs
Edition Identifiers:
- The Open Library ID: OL1564110M
- Online Computer Library Center (OCLC) ID: 25130907
- Library of Congress Control Number (LCCN): 91045730
- All ISBNs: 0262121654 - 9780262121651
Access and General Info:
- First Year Published: 1992
- 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 Foundations of Disjunctive Logic Programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2CafeOBJ report
By Razvan Diaconescu and Kokichi Futatsugi
“CafeOBJ report” Metadata:
- Title: CafeOBJ report
- Authors: Razvan DiaconescuKokichi Futatsugi
- Language: English
- Number of Pages: Median: 174
- Publisher: ➤ World Scientific Publishing Company - World Scientific Publishing Co Pte Ltd
- Publish Date: 1998
“CafeOBJ report” Subjects and Themes:
- Subjects: ➤ Réécriture - Théorie démonstration - Spécification algébrique - CafeOBJ - Object-oriented methods (computer science) - Algebra
Edition Identifiers:
- The Open Library ID: OL49255729M - OL49248347M - OL9470318M
- All ISBNs: ➤ 9812816100 - 9789812816108 - 9781299280991 - 9810235135 - 1299280994 - 9789810235130
First Setence:
"CafeOBJ is a direct successor of OBJ, maybe the most famous algebraic language."
Access and General Info:
- First Year Published: 1998
- 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 CafeOBJ report at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Current trends in concurrency
By J. W. De Bakker
“Current trends in concurrency” Metadata:
- Title: Current trends in concurrency
- Author: J. W. De Bakker
- Language: English
- Number of Pages: Median: 716
- Publisher: Springer-Verlag
- Publish Date: 1986
- Publish Location: New York - Berlin
“Current trends in concurrency” Subjects and Themes:
- Subjects: ➤ Parallel processing (Electronic computers) - Congresses - Théorie démonstration - Langage parallèle - Parallélisme - Conception programme - Concurrence - Congrès - Architecture parallèle - Traitement parallèle - Parallélisme (Informatique) - Sémantique - Nebenläufigkeit
Edition Identifiers:
- The Open Library ID: OL2720370M
- Online Computer Library Center (OCLC) ID: 13702221
- Library of Congress Control Number (LCCN): 86013784
- All ISBNs: 038716488X - 9780387164885
Access and General Info:
- First Year Published: 1986
- 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 Current trends in concurrency at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4The resolution calculus
By Alexander Leitsch
“The resolution calculus” Metadata:
- Title: The resolution calculus
- Author: Alexander Leitsch
- Language: English
- Number of Pages: Median: 300
- Publisher: Springer
- Publish Date: 1997
- Publish Location: New York - Berlin
“The resolution calculus” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Théorie démonstration - Raffinement - Résolution problème - Théorèmes - Résolution de problème - Démonstration automatique - Informatique - Preuve, Théorie de la - Auflösungsprinzip - Automatisches Beweisverfahren - Qa76.9.a96 l44 1997 - 511.3
Edition Identifiers:
- The Open Library ID: OL1000775M
- Library of Congress Control Number (LCCN): 96039706
- All ISBNs: 9783540618829 - 3540618821
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The resolution calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Proof and computation
By North Atlantic Treaty Organization
“Proof and computation” Metadata:
- Title: Proof and computation
- Author: ➤ North Atlantic Treaty Organization
- Language: English
- Number of Pages: Median: 470
- Publisher: Springer
- Publish Date: 1995
- Publish Location: New York - Berlin
“Proof and computation” Subjects and Themes:
- Subjects: ➤ Théorie démonstration - Logique symbolique et mathématique - Symbolic and mathematical Logic - Programmation logique - Spécification algébrique - Théorie type - Congrès - Logic programming - Fundamentele informatica - Congresses - Logica matematica - Programmation en logique - Concurrence - Bewijstheorie
Edition Identifiers:
- The Open Library ID: OL780631M
- Online Computer Library Center (OCLC) ID: 32396896
- Library of Congress Control Number (LCCN): 95012490
- All ISBNs: 3540585818 - 9783540585817
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Proof and computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Axiomatising the logic of computer programming
By Robert Goldblatt
“Axiomatising the logic of computer programming” Metadata:
- Title: ➤ Axiomatising the logic of computer programming
- Author: Robert Goldblatt
- Language: English
- Number of Pages: Median: 304
- Publisher: Springer-Verlag
- Publish Date: 1982
- Publish Location: New York - Berlin
“Axiomatising the logic of computer programming” Subjects and Themes:
- Subjects: ➤ Proof theory - Semantics - Programming languages (Electronic computers) - Théorie démonstration - Théorie commande - Méthodologie programmation - Preuve, Théorie de la - Langages de programmation - Programmation en logique - Axiomatisation - Logique mathématique - Sémantique
Edition Identifiers:
- The Open Library ID: OL3481510M
- Online Computer Library Center (OCLC) ID: 8219255
- Library of Congress Control Number (LCCN): 82000863
- All ISBNs: 0387112103 - 9780387112107
Access and General Info:
- First Year Published: 1982
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Axiomatising the logic of computer programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.