Search results for “[Subject: programming-algorithms]”

• Author(s): Krzysztof R. Apt | J. W. de Bakker | J. M. Rutten • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Logic DesignThis collection of current research on logic programming languages presents results from a three-year, ESPRI...

• Author(s): Krzysztof R. Apt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignFrom the Back CoverComputer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioni...

• Author(s): Krzysztof R. Apt | Tony Hoare • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Programming - GeneralEdsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making...

• Author(s): Krzysztof R. Apt | Tony Hoare • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Programming - GeneralEdsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making...

• Author(s): Krzysztof R. Apt | Franco Turini • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Intelligence (AI) & SemanticsInvestigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming ...

• Author(s): Krzysztof R. Apt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralLogic Programming was founded 25 years ago. This exciting new text reveals both the evolution of this programming paradigm...

• Author(s): Krzysztof R. Apt | Erich Grädel • Publisher: Cambridge University Press • Publisher Imprint: Cambridge University Press • BISAC: Programming Languages - GeneralGames provide mathematical models for interaction. Numerous tasks in comp...