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: Erik Sandewall 81 träffar

Titel Författare År Språk
1 Current trends in AI planning - EWSP'93 : 2nd European workshop on Planning Vadstena, Sweden, December 9-11, 1993 European Workshop on Planning 1993) (Vadstena : 1994 Engelska
2 Datavetenskaplig utvecklingsmiljö och kunskapsöverföringsprogram 1983 Svenska
3 Documentation of the redfun package 1971 Engelska
4 Principles of Knowledge Representation and Reasoning Jon Doyle 1994 Engelska
5 Integrated interactive computing systems - proceedings of the European conference on integrated interactive computing systems, ECICS 82, Stresa, Italy, 1-3 September, 1982 European Conference on Integrated Interactive Computing Systems 1982) (Stresa : 1983 Engelska
6 Interactive programming environments cop. 1984 Engelska
7 Artificiell intelligens (1970) - Förslag till forskning inom området artificiell intelligens under år 1970 och därefter Mats Nordström, 1943- 1970 Svenska
8 How to start using Uppsala's 3600 LISP system Mats Nordström, 1943- 1969 Engelska
9 LISP F1 - a FORTRAN implementation of LISP 1.5 Mats Nordström 1970 Engelska
10 Principles of Knowledge Representation and Reasoning 1994 Okänt
11 The relationship between ordered and unordered trees in I.M.S. theory Ralph Rönnquist 1984 Engelska
12 Ambiguity logic as a basis for an incremental computer Erik Sandewall 1967 Engelska
13 An approach to non-monotonic entailment Erik Sandewall 1988 Engelska
14 Assessments of ramification methods that use static domain constraints Datafil Erik Sandewall 1996 Engelska
15 Assessments of ramification methods that use static domain constraints Erik Sandewall 1996 Engelska
16 Causal qualification and structure-based ramification Erik Sandewall 1993 Engelska
17-18 Cognitive robotics logic and its metatheory - features and fluents revisited (flera utgåvor) Erik Sandewall 1998 Engelska
19 Combining logic and differential equations for describing real- world systems Erik Sandewall 1989 Engelska
20 Comparative assessment of update methods using static domain constraints Erik Sandewall 1996 Engelska

1 2 3 4 5 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.