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: Alexander Leitsch 12 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1-2 | Automated reasoning - First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings (flera utgåvor) | International Joint Conference on Automated Reasoning 2001 : Siena) | 2001 | Engelska |
| 3 | The resolution calculus | Alexander Leitsch | cop. 1997 | Engelska |
| 4 | Computational logic and proof theory | Kurt Gödel Colloquium 1997 : Wien) | cop. 1997 | Engelska |
| 5 | Automated model building | Ricardo Caferra | c2004 | Engelska |
| 6-7 | Computational Logic and Proof Theory (flera utgåvor) | Kurt Gödel Colloquium | 1997 | Engelska |
| 8 | Methods of Cut-elimination (Trends in Logic) | Matthias Baaz | 2011 | Okänt |
| 9 | Methods of Cut-Elimination | Matthias Baaz | 2011 | Engelska |
| 10 | The resolution calculus / Alexander Leitsch. electronic resource | Alexander Leitsch | uuuu-uuuu | Okänt |
| 11 | Automated Model Building | Alexander Leitsch | 2004 | Okänt |
| 12 | The Resolution Calculus | Alexander Leitsch | 1997 | 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.