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
41-42 A neo-classical structure for scientific publication and reviewing (flera utgåvor) Erik Sandewall 1997 Engelska
43 Non-monotonic entailment for reasoning about time and action Erik Sandewall 1988 Engelska
44 Non-monotonic entailment for reasoning about time and action P. 1, Sequential actions Erik Sandewall 1988 Engelska
45 Non-monotonic entailment for reasoning about time and action P. 2, Concurrent actions Erik Sandewall 1988 Engelska
46 Non-monotonic entailment for reasoning about time and action P. 3, Decision procedure Erik Sandewall 1988 Engelska
47 Nonmonotonic temporal logics and autonomous agents: each contributes to the rigorous basis for the other Erik Sandewall 1993 Engelska
48 On the design of software individuals Erik Sandewall 2001 Engelska
49 Partial models, attribute propagation systems, and non-monotonic semantics Erik Sandewall 1983 Engelska
50 PCF-2, a first-order calculus for expressing conceptual information Erik Sandewall 1972 Svenska
51 PCF-2, a firstorder calculus for expressing conceptual information Erik Sandewall, 1945- 1972 Engelska
52 A planning problem solver based on look-ahead in stochastic game-trees - abbreviated version Erik Sandewall 1968 Engelska
53 A programming tool for management of a predicate- calculus-oriented data base Erik Sandewall 1971 Svenska
54 A property-list representation for certain formulas in predicate calculus Erik Sandewall 1969 Engelska
55 A proposed solution to the FUNARG problem Erik Sandewall 1970 Engelska
56-57 Question-answering and problem-solving techniques (flera utgåvor) Erik Sandewall 1969 Engelska
58 The range of applicability of some nonmonotonic logics for strict inertia Erik Sandewall 1994 Engelska
59 Reasoning about actions and change with ramification Erik Sandewall 1995 Engelska
60 A representation of action structures Erik Sandewall 1986 Engelska

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