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: Workshop on Computer Science Logic
68 träffar
|
Titel |
Författare |
År |
Språk |
| 61-62 |
Computer science logic - 14th international workshop, CSL 2000, Fischbachau, Germany, August 21-26, 2000
(flera utgåvor)
|
International Workshop on Computer Science Logic 2000) Fischbachau :
|
cop. 2000 |
Engelska |
| 63-64 |
Computer science logic - 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
(flera utgåvor)
|
International Workshop on Computer Science Logic 2001 : Paris)
|
cop. 2001 |
Engelska |
| 65 |
Computer science logic. - 13th international workshop CSL'99 8th Annual Conference on the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
|
International Workshop on Computer Science Logic 1999 : Madrid)
|
cop. 1999 |
Engelska |
| 66 |
Computer science logic. - 17th international workshop, CSL 2003, 12th annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings
|
|
2003 |
Engelska |
| 67 |
Deontic logic in computer science - 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26 - 28, 2004 : proceedings
|
|
cop. 2004 |
Engelska |
| 68 |
Workshop proceedings - Second International Workshop on Deontic Logic in Computer Science, Oslo, Norway, 6-8 January 1994
|
International Workshop on Deontic Logic in Computer Science 1994 : Oslo)
|
1994 |
Norska |
Förra sidan
1
2
3
4
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.