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

Titel Författare År Språk
21 Constructive nonstandard representations of generalized functions Erik Palmgren 1998 Engelska
22 Constructive sheaf semantics Erik Palmgren 1995 Engelska
23 Denotational semantics of constraint logic programming - a nonstandard approach Erik Palmgren 1993 Engelska
24 A direct proof that certain reduced products are countably saturated Erik Palmgren 1994 Engelska
25 A domain interpretation of Martin-Löf's partial type theory with universes Erik Palmgren 1989 Engelska
26 Domain interpretations of intuitionistic type theory Erik Palmgren 1989 Engelska
27 An effective conservation reslut for nonstandard arithmetic Erik Palmgren 1998 Engelska
28 The Friedman-translation for Martin-Löf's type theory Erik Palmgren 1994 Engelska
29 From intuitionistic to point-free topology Erik Palmgren 2005 Engelska
30 Företagsvärdering genomförd av revisorer - en jämförelse av branscherna industri, handel och kunskapsföretag Erik Palmgren 2001 Svenska
31 Internalising modified realisability in constructive type theory Erik Palmgren 2004 Engelska
32 Konstruktiv logik Erik Palmgren 2002 Svenska
33 Locally cartesian closed categories without chosen constructions Erik Palmgren 2006 Engelska
34 A logical presentation of the continuous functionals Erik Palmgren 1994 Engelska
35 Logically presented domains Erik Palmgren 1995 Engelska
36 Martin-Löf's type theory Erik Palmgren 1990 Engelska
37 Maximal and partial points in formal spaces Erik Palmgren 2002 Engelska
38 Non-standard models of constraint logic programs Erik Palmgren 1992 Engelska
39 A note on Brouwer´s weak continuity principle and the transfer principle in nonstandard analysis Erik Palmgren 2011 Engelska
40 A note on domain representability and formal topology Erik Palmgren 2007 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.