Explore: Fonctions Calculables

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

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

Topic Search

Search for any topic

AI-Generated Overview About “fonctions-calculables”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1The theory of computability

By

Book's cover

“The theory of computability” Metadata:

  • Title: The theory of computability
  • Author:
  • Language: English
  • Number of Pages: Median: 477
  • Publisher: ➤  Addison-Wesley Pub. Co. - Addison-Wesley
  • Publish Date:
  • Publish Location: ➤  Reading, Mass - Wokingham - Wokingham, England

“The theory of computability” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1988
  • 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 The theory of computability at online marketplaces:


2Computability with PASCAL

By

Book's cover

“Computability with PASCAL” Metadata:

  • Title: Computability with PASCAL
  • Author:
  • Language: English
  • Number of Pages: Median: 193
  • Publisher: Prentice-Hall
  • Publish Date:
  • Publish Location: ➤  Englewood Cliffs. N.J - Englewood Cliffs, N.J

“Computability with PASCAL” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1984
  • 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 Computability with PASCAL at online marketplaces:


3First Course in Computability (Computer Science Texts)

By

Book's cover

“First Course in Computability (Computer Science Texts)” Metadata:

  • Title: ➤  First Course in Computability (Computer Science Texts)
  • Author:
  • Language: English
  • Number of Pages: Median: 198
  • Publisher: Alfred Waller Ltd
  • Publish Date:

“First Course in Computability (Computer Science Texts)” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1987
  • 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 First Course in Computability (Computer Science Texts) at online marketplaces:


4The limits of computing

By

Book's cover

“The limits of computing” Metadata:

  • Title: The limits of computing
  • Author:
  • Language: English
  • Number of Pages: Median: 205
  • Publisher: Jones and Bartlett Publishers
  • Publish Date:
  • Publish Location: Boston

“The limits of computing” 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 The limits of computing at online marketplaces:


5Introduction à la calculabilité

By

Book's cover

“Introduction à la calculabilité” Metadata:

  • Title: ➤  Introduction à la calculabilité
  • Author:
  • Language: fre
  • Number of Pages: Median: 224
  • Publisher: Dunod
  • Publish Date:

“Introduction à la calculabilité” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 2001
  • 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 à la calculabilité at online marketplaces:


6Computability

By

Book's cover

“Computability” Metadata:

  • Title: Computability
  • Author:
  • Language: English
  • Number of Pages: Median: 566
  • Publisher: Reston Pub. Co.
  • Publish Date:
  • Publish Location: Reston, Va

“Computability” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1984
  • 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 Computability at online marketplaces:


7Logique 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:


8Unsolvable classes of quantificational formulas

By

Book's cover

“Unsolvable classes of quantificational formulas” Metadata:

  • Title: ➤  Unsolvable classes of quantificational formulas
  • Author:
  • Language: English
  • Number of Pages: Median: 198
  • Publisher: Addison-Wesley Pub. Co.
  • Publish Date:
  • Publish Location: Reading, Mass

“Unsolvable classes of quantificational formulas” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1979
  • 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 Unsolvable classes of quantificational formulas at online marketplaces:


9Logic and computation

By

Book's cover

“Logic and computation” Metadata:

  • Title: Logic and computation
  • Author: ➤  
  • Language: English
  • Number of Pages: Median: 297
  • Publisher: American Mathematical Society
  • Publish Date:
  • Publish Location: Providence, R.I

“Logic and computation” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1990
  • 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 Logic and computation at online marketplaces:


10Elements of the theory of computation

By

Book's cover

“Elements of the theory of computation” Metadata:

  • Title: ➤  Elements of the theory of computation
  • Author:
  • Language: English
  • Number of Pages: Median: 361
  • Publisher: ➤  Prentice Hall International - Prentice-Hall
  • Publish Date:
  • Publish Location: ➤  London - Upper Saddle River, N.J - Englewood Cliffs, N.J

“Elements of the theory of computation” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1981
  • 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 Elements of the theory of computation at online marketplaces:


    11Introduction to Languages and the Theory of Computation

    By

    Book's cover

    “Introduction to Languages and the Theory of Computation” Metadata:

    • Title: ➤  Introduction to Languages and the Theory of Computation
    • Author:
    • Language: English
    • Number of Pages: Median: 543
    • Publisher: McGraw-Hill Companies
    • Publish Date:

    “Introduction to Languages and the Theory of Computation” Subjects and Themes:

    Edition Identifiers:

    First Setence:

    "A set is determined by its elements."

    Access and General Info:

    • First Year Published: 2002
    • 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 Introduction to Languages and the Theory of Computation at online marketplaces:


      12Noncommutative Polynomial Algebras of Solvable Type and Their Modules

      By

      “Noncommutative Polynomial Algebras of Solvable Type and Their Modules” Metadata:

      • Title: ➤  Noncommutative Polynomial Algebras of Solvable Type and Their Modules
      • Author:
      • Language: English
      • Number of Pages: Median: 232
      • Publisher: ➤  Healthcare Information & Management Systems Society - Taylor & Francis Group
      • Publish Date:

      “Noncommutative Polynomial Algebras of Solvable Type and Their Modules” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

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

      Online Marketplaces

      Find Noncommutative Polynomial Algebras of Solvable Type and Their Modules at online marketplaces:


      13Algebraic Computability and Enumeration Models

      By

      “Algebraic Computability and Enumeration Models” Metadata:

      • Title: ➤  Algebraic Computability and Enumeration Models
      • Author:
      • Language: English
      • Number of Pages: Median: 310
      • Publisher: ➤  Taylor & Francis Group - Apple Academic Press, Incorporated
      • Publish Date:

      “Algebraic Computability and Enumeration Models” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

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

      Online Marketplaces

      Find Algebraic Computability and Enumeration Models at online marketplaces:


      14Computability, an introduction to recursive function theory

      By

      Book's cover

      “Computability, an introduction to recursive function theory” Metadata:

      • Title: ➤  Computability, an introduction to recursive function theory
      • Author:
      • Language: English
      • Number of Pages: Median: 251
      • Publisher: Cambridge University Press
      • Publish Date:
      • Publish Location: Cambridge [Eng.] - New York

      “Computability, an introduction to recursive function theory” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

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

      Online Marketplaces

      Find Computability, an introduction to recursive function theory at online marketplaces:


      15Logic and computation

      By

      Book's cover

      “Logic and computation” Metadata:

      • Title: Logic and computation
      • Author:
      • Language: English
      • Number of Pages: Median: 311
      • Publisher: Cambridge University Press
      • Publish Date:
      • Publish Location: Cambridge - New York

      “Logic and computation” Subjects and Themes:

      Edition Identifiers:

      First Setence:

      "Cambridge LCF is an interactive theorem prover for reasoning about computable functions."

      Access and General Info:

      • First Year Published: 1987
      • 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 and computation at online marketplaces:


        16New computational paradigms

        By

        Book's cover

        “New computational paradigms” Metadata:

        • Title: New computational paradigms
        • Authors:
        • Language: English
        • Number of Pages: Median: 574
        • Publisher: ➤  Springer - Springer London, Limited
        • Publish Date:

        “New computational paradigms” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

        • First Year Published: 2005
        • 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 New computational paradigms at online marketplaces:


          17Logical approaches to computational barriers

          By

          Book's cover

          “Logical approaches to computational barriers” Metadata:

          • Title: ➤  Logical approaches to computational barriers
          • Authors:
          • Language: English
          • Number of Pages: Median: 608
          • Publisher: ➤  Springer London, Limited - Springer
          • Publish Date:

          “Logical approaches to computational barriers” 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: 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 Logical approaches to computational barriers at online marketplaces:


            18Calculabilité effective et algorithmique théorique

            By

            “Calculabilité effective et algorithmique théorique” Metadata:

            • Title: ➤  Calculabilité effective et algorithmique théorique
            • Author:
            • Language: fre
            • Number of Pages: Median: 186
            • Publisher: Eyrolles
            • Publish Date:
            • Publish Location: Paris

            “Calculabilité effective et algorithmique théorique” 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 Calculabilité effective et algorithmique théorique at online marketplaces:


            19Computability theory

            By

            Book's cover

            “Computability theory” Metadata:

            • Title: Computability theory
            • Author:
            • Language: English
            • Number of Pages: Median: 409
            • Publisher: Chapman & Hall/CRC Press
            • Publish Date:
            • Publish Location: Boca Raton, Fla

            “Computability theory” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

            • First Year Published: 2004
            • 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 Computability theory at online marketplaces:


              20Computability in analysis and physics

              By

              Book's cover

              “Computability in analysis and physics” Metadata:

              • Title: ➤  Computability in analysis and physics
              • Author:
              • Language: English
              • Number of Pages: Median: 206
              • Publisher: Springer Verlag
              • Publish Date:
              • Publish Location: Berlin - New York

              “Computability in analysis and physics” 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: 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 Computability in analysis and physics at online marketplaces:


                21Mathematical Foundations of Computer Science 1979

                By

                Book's cover

                “Mathematical Foundations of Computer Science 1979” Metadata:

                • Title: ➤  Mathematical Foundations of Computer Science 1979
                • Author:
                • Language: English
                • Number of Pages: Median: 596
                • Publisher: Springer
                • Publish Date:

                “Mathematical Foundations of Computer Science 1979” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

                • First Year Published: 1979
                • 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 Mathematical Foundations of Computer Science 1979 at online marketplaces:


                  22Theory and Applications of Models of Computation

                  By

                  Book's cover

                  “Theory and Applications of Models of Computation” Metadata:

                  • Title: ➤  Theory and Applications of Models of Computation
                  • Author:
                  • Language: English
                  • Number of Pages: Median: 598
                  • Publisher: ➤  Springer - Springer-Verlag Berlin Heidelberg
                  • Publish Date:
                  • Publish Location: Berlin, Heidelberg

                  “Theory and Applications of Models of Computation” Subjects and Themes:

                  Edition Identifiers:

                  Access and General Info:

                  • First Year Published: 2008
                  • 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 Theory and Applications of Models of Computation at online marketplaces:


                    Top of Page