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.

Topic Search

Search for any topic

AI-Generated Overview About “logique-informatique”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Advances in contemporary logic and computer science

By

Book's cover

“Advances in contemporary logic and computer science” Metadata:

  • Title: ➤  Advances in contemporary logic and computer science
  • Author: ➤  
  • Language: English
  • Number of Pages: Median: 326
  • Publisher: American Mathematical Society
  • Publish Date:
  • Publish Location: Providence, RI

“Advances in contemporary logic and computer science” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1999
  • 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 Advances in contemporary logic and computer science at online marketplaces:


2Computation Engineering:

By

Book's cover

“Computation Engineering:” Metadata:

  • Title: Computation Engineering:
  • Author:
  • Language: English
  • Number of Pages: Median: 476
  • Publisher: Springer
  • Publish Date:

“Computation Engineering:” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 2006
  • 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 Computation Engineering: at online marketplaces:


    3Propositional 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:


      4Logic for learning

      By

      Book's cover

      “Logic for learning” Metadata:

      • Title: Logic for learning
      • Author:
      • Language: English
      • Number of Pages: Median: 256
      • Publisher: Springer
      • Publish Date:
      • Publish Location: Berlin - New York

      “Logic for learning” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 2003
      • 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 Logic for learning at online marketplaces:


        5Computer science logic

        By

        Book's cover

        “Computer science logic” Metadata:

        • Title: Computer science logic
        • Author: ➤  
        • Language: English
        • Number of Pages: Median: 565
        • Publisher: Springer
        • Publish Date:
        • Publish Location: New York - Berlin

        “Computer science logic” Subjects and Themes:

        Edition Identifiers:

        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:


          6Inconsistency robustness

          Book's cover

          “Inconsistency robustness” Metadata:

          • Title: Inconsistency robustness
          • Language: English
          • Publisher: College Publications
          • Publish Date:
          • Publish Location: London

          “Inconsistency robustness” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

          • First Year Published: 2015
          • 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 Inconsistency robustness at online marketplaces:


            7Temporal Logic Vol. 2

            By

            Book's cover

            “Temporal Logic Vol. 2” Metadata:

            • Title: Temporal Logic Vol. 2
            • Authors:
            • Language: English
            • Number of Pages: Median: 612
            • Publisher: Oxford University Press, USA
            • Publish Date:

            “Temporal Logic Vol. 2” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

            • First Year Published: 2000
            • 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 Temporal Logic Vol. 2 at online marketplaces:


              8Logic Programming

              By

              Book's cover

              “Logic Programming” Metadata:

              • Title: Logic Programming
              • Author:
              • Language: English
              • Number of Pages: Median: 365
              • Publisher: ➤  Springer London, Limited - Springer
              • Publish Date:

              “Logic Programming” Subjects and Themes:

              Edition Identifiers:

              Access and General Info:

              • First Year Published: 2001
              • Is Full Text Available: Yes
              • Is The Book Public: Yes
              • Access Status: Public

              Online Access

              Downloads:

                Online Borrowing:

                Online Marketplaces

                Find Logic Programming at online marketplaces:


                Top of Page