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: China) IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning (1992 : Beijing 1 träff

Titel Författare År Språk
1 Automated reasoning - proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 China) IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning (1992 : Beijing 1992 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.