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 Formal methods in the design of question-answering systems Erik Sandewall 1970 Engelska
22 A formal notation that re-expresses natural language sentence structure Erik Sandewall 1968 Engelska
23 How to build a macro compiling assembler without really programming Erik Sandewall 1971 Svenska
24 Introduktion till programmeringsspråket PLAST Erik Sandewall, 1945- 1972 Svenska
25 Koncept för en väl fungerande mångfald Erik Sandewall 2015 Svenska
26 LISP A - a LISP-like system for incremental computing Erik Sandewall 1968 Engelska
27-28 Logic based modelling of goal-directed behavior (flera utgåvor) Erik Sandewall 1997 Engelska
29-30 A neo-classical structure for scientific publication and reviewing (flera utgåvor) Erik Sandewall 1997 Engelska
31 Nonmonotonic temporal logics and autonomous agents: each contributes to the rigorous basis for the other Erik Sandewall 1993 Engelska
32 On the design of software individuals Erik Sandewall 2001 Engelska
33 PCF-2, a first-order calculus for expressing conceptual information Erik Sandewall 1972 Svenska
34 PCF-2, a firstorder calculus for expressing conceptual information Erik Sandewall, 1945- 1972 Engelska
35 A planning problem solver based on look-ahead in stochastic game-trees - abbreviated version Erik Sandewall 1968 Engelska
36 A programming tool for management of a predicate- calculus-oriented data base Erik Sandewall 1971 Svenska
37 A property-list representation for certain formulas in predicate calculus Erik Sandewall 1969 Engelska
38 A proposed solution to the FUNARG problem Erik Sandewall 1970 Engelska
39 Question-answering and problem-solving techniques Erik Sandewall 1969 Engelska
40 The range of applicability of some nonmonotonic logics for strict inertia Erik Sandewall 1994 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.