Explore: Calcul Propositionnel

Discover books, insights, and more — all in one place.

Learn more about Calcul Propositionnel with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “calcul-propositionnel”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Frege's logical theory

By

Book's cover

“Frege's logical theory” Metadata:

  • Title: Frege's logical theory
  • Author:
  • Language: English
  • Number of Pages: Median: 200
  • Publisher: ➤  Southern Illinois University Press
  • Publish Date:
  • Publish Location: Carbondale

“Frege's logical theory” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1966
  • 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:

Online Marketplaces

Find Frege's logical theory at online marketplaces:


2Intelligence artificielle et informatique théorique

By

Book's cover

“Intelligence artificielle et informatique théorique” Metadata:

  • Title: ➤  Intelligence artificielle et informatique théorique
  • Author:
  • Language: fre
  • Number of Pages: Median: 520
  • Publisher: Cépaduès-éd.
  • Publish Date:
  • Publish Location: Toulouse

“Intelligence artificielle et informatique théorique” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1994
  • 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:

Online Marketplaces

Find Intelligence artificielle et informatique théorique at online marketplaces:


3Introduction a la specification

By

Book's cover

“Introduction a la specification” Metadata:

  • Title: ➤  Introduction a la specification
  • Author:
  • Language: fre
  • Publisher: Masson
  • Publish Date:
  • Publish Location: Paris

“Introduction a la specification” Subjects and Themes:

Edition Identifiers:

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:

Online Marketplaces

Find Introduction a la specification at online marketplaces:


4Classical propositional operators

By

Book's cover

“Classical propositional operators” Metadata:

  • Title: ➤  Classical propositional operators
  • Author:
  • Language: English
  • Number of Pages: Median: 151
  • Publisher: Clarendon
  • Publish Date:
  • Publish Location: Oxford

“Classical propositional operators” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1982
  • 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:

Online Marketplaces

Find Classical propositional operators at online marketplaces:


5Logique et fondements de l'informatique

By

Book's cover

“Logique et fondements de l'informatique” Metadata:

  • Title: ➤  Logique et fondements de l'informatique
  • Author:
  • Language: fre
  • Number of Pages: Median: 248
  • Publisher: Hermès
  • Publish Date:
  • Publish Location: Paris

“Logique et fondements de l'informatique” Subjects and Themes:

Edition Identifiers:

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:

Online Marketplaces

Find Logique et fondements de l'informatique at online marketplaces:


6Propositional logic

By

Book's cover

“Propositional logic” Metadata:

  • Title: Propositional logic
  • Authors:
  • Language: English
  • Number of Pages: Median: 415
  • Publisher: Cambridge University Press
  • Publish Date:
  • Publish Location: New York - Cambridge [England]

“Propositional logic” Subjects and Themes:

Edition Identifiers:

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:


    7Programmer avec Scheme

    By

    Book's cover

    “Programmer avec Scheme” Metadata:

    • Title: Programmer avec Scheme
    • Author:
    • Language: fre
    • Number of Pages: Median: 753
    • Publisher: ➤  International Thomson publishing France
    • Publish Date:

    “Programmer avec Scheme” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 1998
    • 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 Programmer avec Scheme at online marketplaces:


      8Introduction to mathematics of satisfiability

      By

      Book's cover

      “Introduction to mathematics of satisfiability” Metadata:

      • Title: ➤  Introduction to mathematics of satisfiability
      • Author:
      • Language: English
      • Publisher: Taylor & Francis
      • Publish Date:
      • Publish Location: Boca Raton

      “Introduction to mathematics of satisfiability” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 2009
      • 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 Introduction to mathematics of satisfiability at online marketplaces:


        9Category theory and computer science

        Book's cover

        “Category theory and computer science” Metadata:

        • Title: ➤  Category theory and computer science
        • Language: English
        • Number of Pages: Median: 365
        • Publisher: Springer
        • Publish Date:

        “Category theory and computer science” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

        • First Year Published: 1989
        • Is Full Text Available: No
        • Is The Book Public: No
        • Access Status: No_ebook

        Online Marketplaces

        Find Category theory and computer science at online marketplaces:


        10Category theory and computer science

        By

        Book's cover

        “Category theory and computer science” Metadata:

        • Title: ➤  Category theory and computer science
        • Author:
        • Language: English
        • Number of Pages: Median: 365
        • Publisher: Springer
        • Publish Date:

        “Category theory and computer science” Subjects and Themes:

        Edition Identifiers:

        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 Category theory and computer science at online marketplaces:


          Top of Page