Explore: Programmation En Logique

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

Learn more about Programmation En Logique with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “programmation-en-logique”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Foundations of Disjunctive Logic Programming

By

Book's cover

“Foundations of Disjunctive Logic Programming” Metadata:

  • Title: ➤  Foundations of Disjunctive Logic Programming
  • Author:
  • Language: English
  • Number of Pages: Median: 307
  • Publisher: MIT Press
  • Publish Date:
  • Publish Location: Cambridge, Mass

“Foundations of Disjunctive Logic Programming” Subjects and Themes:

Edition Identifiers:

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:

Online Marketplaces

Find Foundations of Disjunctive Logic Programming at online marketplaces:


2Parallel logic programming

By

Book's cover

“Parallel logic programming” Metadata:

  • Title: Parallel logic programming
  • Author:
  • Language: English
  • Number of Pages: Median: 486
  • Publisher: MIT Press
  • Publish Date:
  • Publish Location: Cambridge, Mass

“Parallel logic programming” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1991
  • 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 Parallel logic programming at online marketplaces:


3Programmation en logique avec contraintes

By

Book's cover

“Programmation en logique avec contraintes” Metadata:

  • Title: ➤  Programmation en logique avec contraintes
  • Author: ➤  
  • Language: fre
  • Number of Pages: Median: 278
  • Publisher: Hermès Science publications
  • Publish Date:
  • Publish Location: Paris

“Programmation en logique avec contraintes” 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: 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 Programmation en logique avec contraintes at online marketplaces:


41984 International Symposium on Logic Programming, February 6-9, 1984, Bally's Park Place Casino, Atlantic City, New Jersey

By

Book's cover

“1984 International Symposium on Logic Programming, February 6-9, 1984, Bally's Park Place Casino, Atlantic City, New Jersey” Metadata:

  • Title: ➤  1984 International Symposium on Logic Programming, February 6-9, 1984, Bally's Park Place Casino, Atlantic City, New Jersey
  • Author: ➤  
  • Language: English
  • Number of Pages: Median: 311
  • Publisher: ➤  Order from IEEE Computer Society - IEEE Computer Society Press
  • Publish Date:
  • Publish Location: ➤  Silver Spring, MD - Los Angeles, CA

“1984 International Symposium on Logic Programming, February 6-9, 1984, Bally's Park Place Casino, Atlantic City, New Jersey” 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 1984 International Symposium on Logic Programming, February 6-9, 1984, Bally's Park Place Casino, Atlantic City, New Jersey 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:


6Rewriting Techniques and Applications

By

Book's cover

“Rewriting Techniques and Applications” Metadata:

  • Title: ➤  Rewriting Techniques and Applications
  • Author:
  • Language: English
  • Number of Pages: Median: 441
  • Publisher: Springer-Verlag - Springer
  • Publish Date:
  • Publish Location: New York - Berlin

“Rewriting Techniques and Applications” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1985
  • 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 Rewriting Techniques and Applications at online marketplaces:


    7From logic design to logic programming

    By

    Book's cover

    “From logic design to logic programming” Metadata:

    • Title: ➤  From logic design to logic programming
    • Author:
    • Language: English
    • Number of Pages: Median: 127
    • Publisher: Springer-Verlag - Springer
    • Publish Date:
    • Publish Location: London - Berlin

    “From logic design to logic programming” Subjects and Themes:

    Edition Identifiers:

    Access and General Info:

    • First Year Published: 1987
    • 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 From logic design to logic programming at online marketplaces:


      8Foundations of Software Technology and Theoretical Computer Science

      By

      Book's cover

      “Foundations of Software Technology and Theoretical Computer Science” Metadata:

      • Title: ➤  Foundations of Software Technology and Theoretical Computer Science
      • Author:
      • Language: English
      • Number of Pages: Median: 339
      • Publisher: Springer-Verlag - Springer
      • Publish Date:
      • Publish Location: New York - Berlin

      “Foundations of Software Technology and Theoretical 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 Foundations of Software Technology and Theoretical Computer Science at online marketplaces:


        9The craft of Prolog

        By

        Book's cover

        “The craft of Prolog” Metadata:

        • Title: The craft of Prolog
        • Author:
        • Language: English
        • Number of Pages: Median: 387
        • Publisher: MIT Press
        • Publish Date:
        • Publish Location: Cambridge, Mass

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


          10Logics of programs

          By

          Book's cover

          “Logics of programs” Metadata:

          • Title: Logics of programs
          • Author:
          • Language: English
          • Number of Pages: Median: 424
          • Publisher: Springer-Verlag
          • Publish Date:
          • Publish Location: New York - Berlin

          “Logics of programs” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

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

          Online Marketplaces

          Find Logics of programs at online marketplaces:


          11Programming languages implementation and logic programming

          By

          Book's cover

          “Programming languages implementation and logic programming” Metadata:

          • Title: ➤  Programming languages implementation and logic programming
          • Author: ➤  
          • Language: English
          • Number of Pages: Median: 299
          • Publisher: Springer-Verlag
          • Publish Date:
          • Publish Location: New York - Berlin

          “Programming languages implementation and logic programming” 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 Programming languages implementation and logic programming at online marketplaces:


          12Proof and computation

          By

          Book's cover

          “Proof and computation” Metadata:

          • Title: Proof and computation
          • Author: ➤  
          • Language: English
          • Number of Pages: Median: 470
          • Publisher: Springer
          • Publish Date:
          • Publish Location: New York - Berlin

          “Proof and computation” Subjects and Themes:

          Edition Identifiers:

          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:


          13Axiomatising the logic of computer programming

          By

          Book's cover

          “Axiomatising the logic of computer programming” Metadata:

          • Title: ➤  Axiomatising the logic of computer programming
          • Author:
          • Language: English
          • Number of Pages: Median: 304
          • Publisher: Springer-Verlag
          • Publish Date:
          • Publish Location: New York - Berlin

          “Axiomatising the logic of computer programming” Subjects and Themes:

          Edition Identifiers:

          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:


          14Automata, languages and programming

          By

          Book's cover

          “Automata, languages and programming” Metadata:

          • Title: ➤  Automata, languages and programming
          • Author:
          • Language: English
          • Number of Pages: Median: 862
          • Publisher: Springer
          • Publish Date:

          “Automata, languages and programming” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

          • First Year Published: 1997
          • 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 Automata, languages and programming at online marketplaces:


            15Logic 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