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: International Workshop on Theorem Proving with Analytic Tableaux and Related Mehtods 1997) (Pont-à-Moussson : 1 träff
Titel | Författare | År | Språk | |
---|---|---|---|---|
1 | Automated reasoning with analytic tableaux and related methods | International Workshop on Theorem Proving with Analytic Tableaux and Related Mehtods 1997) (Pont-à-Moussson : | cop. 1997 | 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.