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: Anil Nerode 40 träffar

Titel Författare År Språk
1 Logic programming and non-monotonic reasoning - proceedings of the first international workshop c1991 Engelska
2-3 Logic for applications (flera utgåvor) Anil Nerode cop. 1993 Engelska
4 Principles of logic and logic programming George Metakides 1996 Engelska
5 Combinatorial functors J. N. Crossley 1974 Engelska
6-7 Logical foundations of computer science - Tver '92 : proceedings : second international symposium, Tver, Russia, July 20-24, 1992 (flera utgåvor) cop. 1992 Engelska
8 Logical foundations of computer science International Symposium on Logical Foundations of Computer Science 1994) St. Petersburg : cop. 1994 Engelska
9 Logical foundations of computer science International Symposium on Logical Foundations of Computer Science 1997 : Jaroslavl') cop. 1997 Engelska
10 Automata theory and its applications Bakhadyr Khoussainov cop. 2001 Engelska
11 Recursion theory 1985 Engelska
12 Logical methods - in honor of Anil Nerode's sixtieth birthday 1993 Engelska
13 Algebraic curves and Riemann surfaces for undergraduates - the theory of the donut Anil Nerode 2022 Engelska
14 Logical Foundations of Computer Science - International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings Sergei. Artemov 2013 Engelska
15 Hybrid Systems 1993 Engelska
16 Logic Programming and Nonmonotonic Reasoning LPNMR '95 1995 Engelska
17 Hybrid Systems II 1995 Engelska
18 Logical Foundations of Computer Science LFCS ʾ97 1997 Engelska
19 Logic Programming And Nonmonotonic Reasoning LPNMR '97 1997 Engelska
20 Logical Foundations of Computer Science electronic resource - International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings Sergei N. Artemov 2007 Engelska

1 2 Nästa sida

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.