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: Rohit Parikh 9 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Logic colloquium - Symposium on logic held at Boston, 1972-73 | 1975 | Engelska | |
| 2 | Logics of programs - Brooklyn, June 17-19, 1985 : proceedings | cop. 1985 | Engelska | |
| 3 | The Parikh Project - seven papers in honour of Rohit | 1996 | Engelska | |
| 4 | Proof, Computation and Agency: Logic at the Crossroads (Synthese Library) | Rohit Parikh | 2011 | Okänt |
| 5 | Proof, Computation and Agency | 2011 | Engelska | |
| 6 | "Logics of Programs: Brooklyn, June 17-19, 1985" | Parikh Rohit | 1985 | Okänt |
| 7 | Logic Colloquium | Rohit Parikh | 1975 | Engelska |
| 8 | Logics of Programs | Rohit Parikh | uuuu-uuuu | Okänt |
| 9 | Theoretical Aspects of Reasoning about Knowledge - proceedings of the third conference (TARK 1990), March 4-7, 1990, Pacific Grove, California | Conference on Theoretical Aspects of Reasoning about Knowledge 1990 : Pacific Grove) | cop. 1990 | Engelska |
1
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.