R
Robert Kowalski
17 works on record
Works
Computational logic and human thinking
Computational logic
Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)
Logic programming
The CLI Book: Writing Successful Command Line Interfaces with Node.js
Jaycee : A Heroine's Journey /
Logic for problem solving
Lógica, programación e inteligencia artificial
TAPSOFT '87
TAPSOFT '87
Passive Income Freedom
Passive Income Freedom
Busco
Busco
Prolog
Prolog
8 Weeks to Lower Blood P
8 Weeks to Lower Blood P
Logic for Problem Solving, Revisited
Logic for Problem Solving, Revisited
Whom the Son Sets Free Is Free
Whom the Son Sets Free Is Free
Studies in the completeness and efficiency of theorem-proving by resolution
Studies in the completeness and efficiency of theorem-proving by resolution
English as a (logic) programming language
English as a (logic) programming language