Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!
Sökning efter: Kenneth M. Kahn 12 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Intermission - actors in Prolog | Kenneth M. Kahn | 1981 | Engelska |
| 2 | Uniform - a language based upon Unification which unifies (much of) Lisp, Prolog, and Act 1 | Kenneth M. Kahn | 1981 | Engelska |
| 3 | The implementation of Uniform - a knowledge-representation/programming language based upon equivalence of descriptions | Kenneth M. Kahn | 1982 | Engelska |
| 4-5 | A grammar kit in Prolog (flera utgåvor) | Kenneth M. Kahn | 1985 | Engelska |
| 6-7 | Unique features of lisp machine Prolog (flera utgåvor) | Kenneth M. Kahn | 1985 | Engelska |
| 8 | A primitive for the control of logic programs | Kenneth M. Kahn | 1983 | Engelska |
| 9 | A partial evaluator of Lisp written in Prolog | Kenneth M. Kahn | 1983 | Engelska |
| 10 | Partial evaluation as an example of the relationships between programming methodology and artificial intelligence | Kenneth M. Kahn | 1983 | Engelska |
| 11 | The compilation of prolog programs without the use of a prolog compilar | Kenneth M. Kahn | 1984 | Engelska |
| 12 | LM-prolog user manual | Mats Carlsson, fil. dr | 1985 | Engelska |
1
Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.