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: Harrie de Swart 6 träffar

Titel Författare År Språk
1-2 Automated reasoning with analytic tableaux and related methods - international conference : tableaux '98 Oisterwijk, The Netherlands, May 5 - 8, 1998 : proceedings (flera utgåvor) International Conference on Analytic Tableaux and Related Methods 1998) (Oisterwijk : 1998 Engelska
3 Theo ry and Applications of Relational Structures as Knowledge Instruments II electronic resource - International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers Harrie de. Swart 2006 Engelska
4 Theory and Applications of Relational Structures As Knowledge Instruments: COST Action 274, TARSKI : Revised Papers (Lecture notes in computer science 2929) Harrie de Swart uuuu-uuuu Okänt
5 Theory and Applications of Relational Structures As Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005 : Selected Revised Papers (Lecture notes in computer science, Lecture notes in artificial intelligence 4342) Harrie de Swart 2006 Okänt
6 Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 June 3, 2011. Proceedings 2011 Okänt

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.