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
1 Representation of facts in a computer question-answering system Erik Sandewall 1966 Engelska
2 Ambiguity logic as a basis for an incremental computer Erik Sandewall 1967 Engelska
3 An environment for an artificial intelligence Erik Sandewall 1967 Engelska
4 LISP A - a LISP-like system for incremental computing Erik Sandewall 1968 Engelska
5 A formal notation that re-expresses natural language sentence structure Erik Sandewall 1968 Engelska
6 A planning problem solver based on look-ahead in stochastic game-trees - abbreviated version Erik Sandewall 1968 Engelska
7 Concepts and methods for heuristic search Erik Sandewall 1968 Engelska
8 A property-list representation for certain formulas in predicate calculus Erik Sandewall 1969 Engelska
9 A set-oriented property-structure representation for binary relations, SPB Erik Sandewall 1969 Engelska
10 Representing natural-language information in predicate calculus - this paper was presented at the Machine intelligence workshop number 6 in Edinburgh, Scotland Erik Sandewall 1970 Engelska
11 Formal methods in the design of question-answering systems Erik Sandewall 1970 Engelska
12 A proposed solution to the FUNARG problem Erik Sandewall 1970 Engelska
13 A representation of action structures Erik Sandewall 1986 Engelska
14 Combining logic and differential equations for describing real- world systems Erik Sandewall 1989 Engelska
15 A decision procedure for a theory of actions and plans Erik Sandewall 1989 Engelska
16 Filter preferential entailment for the logic action of almost continuous worlds Erik Sandewall 1989 Engelska
17 Causal qualification and structure-based ramification Erik Sandewall 1993 Engelska
18 Systematic assessment of temporal reasoning methods for use in autonomous agents Erik Sandewall 1993 Engelska
19 Nonmonotonic temporal logics and autonomous agents: each contributes to the rigorous basis for the other Erik Sandewall 1993 Engelska
20 LISP F1 - a FORTRAN implementation of LISP 1.5 Mats Nordström 1970 Engelska

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.