Explore: Logique (informatique)
Discover books, insights, and more — all in one place.
Learn more about Logique (informatique) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “logique-%28informatique%29”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Propositional logic
By H. Kleine Büning, Hans Kleine Büning and Theodor Lettmann
“Propositional logic” Metadata:
- Title: Propositional logic
- Authors: H. Kleine BüningHans Kleine BüningTheodor Lettmann
- Language: English
- Number of Pages: Median: 415
- Publisher: Cambridge University Press
- Publish Date: 1999
- Publish Location: New York - Cambridge [England]
“Propositional logic” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Computer logic - Algorithmes - Algorithme - Automatische bewijsvoering - Logique propositionnelle - Logique (Informatique) - Algoritmen - Structure de données - Algorithme résolution - Démonstration automatique de théorèmes - Déduction - Calcul propositionnel - Aussagenlogik - Satisfiabilité - Clause Horn - Logique informatique - Mathematical logic - Mathematical theory of computation - Science/Mathematics - Computers - General Information - Algorithms (Computer Programming) - Philosophy Of Mathematics - Computers - Programming - General - Discrete Mathematics - Computer Science - Logic - Computers / Programming / Software Development - Computer Bks - General Information - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL7749360M - OL18820915M
- Online Computer Library Center (OCLC) ID: 39655053
- Library of Congress Control Number (LCCN): 98038806
- All ISBNs: 0521630177 - 9780521630177
First Setence:
"Mathematical logic has from its very beginning concerned itself with, amongst other things, a precise explication of the concept of proof, that is to say the concept of logical deduction."
Access and General Info:
- First Year Published: 1999
- 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 Propositional logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Computer science logic
By Workshop on Computer Science Logic (19th 2005 Oxford, England)
“Computer science logic” Metadata:
- Title: Computer science logic
- Author: ➤ Workshop on Computer Science Logic (19th 2005 Oxford, England)
- Language: English
- Number of Pages: Median: 565
- Publisher: Springer
- Publish Date: 2005
- Publish Location: New York - Berlin
“Computer science logic” Subjects and Themes:
- Subjects: ➤ Computer logic - Congresses - COMPUTERS - Programming - Logique (Informatique) - Congres - Programmierlogik - Informatique - Open Source - Tools - General - Software Development & Engineering - Logique informatique - Computational logic - Logik - Theoretische Informatik - Logische Programmierung - Computer science - Logic
Edition Identifiers:
- The Open Library ID: OL18239420M
- Online Computer Library Center (OCLC) ID: 61320925
- Library of Congress Control Number (LCCN): 2005930337
- All ISBNs: 3540282319 - 9783540282310
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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 Computer science logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Eléments de mathématiques discrètes
By Louis Frécon
“Eléments de mathématiques discrètes” Metadata:
- Title: ➤ Eléments de mathématiques discrètes
- Author: Louis Frécon
- Number of Pages: Median: 378
- Publisher: ➤ Presses polytechniques et universitaires romandes
- Publish Date: 2002
“Eléments de mathématiques discrètes” Subjects and Themes:
- Subjects: ➤ Informatique - Problèmes et exercices - Mathématiques discrètes - Mathématique discrète - Logique (Informatique) - Théorie des graphes - Mathématiques - Diskrete Mathematik
Edition Identifiers:
- The Open Library ID: OL12643588M
- All ISBNs: 9782880744793 - 2880744792
Access and General Info:
- First Year Published: 2002
- 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 Eléments de mathématiques discrètes at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.