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, 1945- 60 träffar

Titel Författare År Språk
21 The range of applicability of some nonmonotonic logics for strict inertia Erik Sandewall 1994 Engelska
22 Features and fluents - the representation of knowledge about dynamical systems Erik Sandewall 1994-9999 Engelska
23 Features and fluents Vol. 1 - the representation of knowledge about dynamical systems Erik Sandewall 1994 Engelska
24 Systematic comparison of approaches to ramification using restricted minimization of change Erik Sandewall 1995 Engelska
25 Reasoning about actions and change with ramification Erik Sandewall 1995 Engelska
26 Comparative assessment of update methods using static domain constraints Erik Sandewall 1996 Engelska
27-28 Strategies and policies of Linköping University Electronic Press (flera utgåvor) Erik Sandewall 1996 Engelska
29 Towards a World-Wide data base Erik Sandewall 1996 Engelska
30 Assessments of ramification methods that use static domain constraints Datafil Erik Sandewall 1996 Engelska
31 Towards the validation of high-level action descriptions from their low-level definitions Datafil Erik Sandewall 1996 Engelska
32 Underlying semantics for action and change with ramification Erik Sandewall 1996 Engelska
33 Assessments of ramification methods that use static domain constraints Erik Sandewall 1996 Engelska
34 Towards the validation of high-level action descriptions from their low-level definitions Erik Sandewall 1996 Engelska
35-36 Logic based modelling of goal-directed behavior (flera utgåvor) Erik Sandewall 1997 Engelska
37 A neo-classical structure for scientific publication and reviewing Erik Sandewall 1997 Engelska
38 Cognitive robotics logic and its metatheory - features and fluents revisited Erik Sandewall 1998 Engelska
39 Documentation of the redfun package 1971 Engelska
40 Interactive programming environments cop. 1984 Engelska

Förra sidan 1 2 3 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.