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: Joakim von Wright 21 träffar

Titel Författare År Språk
1 A lattice-theoretical basis for program refinement Joakim von Wright 1990 Engelska
2 Theorem proving in higher order logics International Conference on Theorem Proving in Higher Order Logics 1996) Åbo : cop. 1996 Engelska
3 Context handling in the Refinement Calculus framework Linas Laibinis 1997 Engelska
4 A tool for data refinement Rimvydas Rukšėnas 1997 Engelska
5 Contracts, games and refinement Ralph-Johan Back 1997 Engelska
6 Doing high school mathematics carefully Ralph-Johan Back 1997 Engelska
7 Programs on product spaces Ralph-Johan Back 1997 Engelska
8 Class refinement as semantics of correct subclassing Ralph-Johan Back 1998 Engelska
9 Proving isomorphism of first-order logic proof systems in HOL Anna Mikhajlova 1998 Engelska
10 What's in a specification? Linas Laibinis 1998 Engelska
11 Modeling component environments and interactive programs using iterative choice Ralph-Johan Back 1998 Engelska
12 Products in the refinement calculus Ralph-Johan Back 1999 Engelska
13 Encoding, decoding and data refinement Ralph-Johan Back 1999 Engelska
14 Structured derivations - a method for doing high-school mathematics carefully Ralph-Johan Back 1999 Engelska
15 A metatool for exploring program algebras Joakim von Wright 1999 Engelska
16 Functional procedures in higher-order logic Linas Laibinis 1999 Engelska
17 Annual report 1998 Åbo Akademi 1999 Engelska
18 ABC 80 som hjälpmedel i pedagogisk forskning Ole Björkqvist 1983 Svenska
19 Supplementary proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics - TPHOLs'96 International Conference on Theorem Proving in Higher Order Logics 1996 : Turku) 1996 Engelska
20 Interpreting nondeterminism in the refinement calculus Ralph-Johan Back 1996 Engelska

1 2 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.