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: Jonas Barklund 25 träffar

Titel Författare År Språk
1 Parallel bounded quantifications-preliminary results Henrik Arro 1992 Engelska
2 A basis for multilevel metalogic programming language Jonas Barklund 1994 Engelska
3 Condition graphs Jonas Barklund 1988 Engelska
4 Design and implementation of a modular real-time expert system Jonas Barklund 1992 Engelska
5 Efficient interpretation of Prolog programs Jonas Barklund 1987 Engelska
6 Efficient logic data structures Jonas Barklund 1988 Engelska
7 A garbage collection algorithm for Tricia Jonas Barklund 1987 Engelska
8 Garbage cut Jonas Barklund 1986 Engelska
9 Hash tables in logic programming Jonas Barklund 1987 Engelska
10 Integrating complex data structures in Prolog Jonas Barklund 1987 Engelska
11 KL 1 in condition graphs on a connection machine Jonas Barklund 1988 Engelska
12 Metaprogramming for representation of legal principles Jonas Barklund 1990 Engelska
13 Metaprogramming in logic Jonas Barklund 1994 Engelska
14 A modular architecture for knowledge systems Jonas Barklund 1990 Engelska
15 Nova Prolog Jonas Barklund 1988 Engelska
16 Parallel unification Jonas Barklund 1990 Engelska
17 A parallel unification algorithm Jonas Barklund 1989 Engelska
18 Prolog with arrays and bounded quantifications Jonas Barklund 1993 Engelska
19 Providing iteration and concurrency in logic programs through bounded quantifications Jonas Barklund 1992 Engelska
20 Tabulation of functions in definite clause programs Jonas Barklund 1994 Engelska

1 2 Nästa sida

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.