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: Dov M Gabbay 211 träffar

Titel Författare År Språk
61 Elementary logics - a procedural perspective Dov M. Gabbay 1998 Engelska
62 Fibring logics Dov M. Gabbay 1999 Engelska
63 Goal-directed proof theory Dov M. Gabbay c2000 Engelska
64 Goal-directed proof theory / by Dov M. Gabbay and Nicola Olivetti Dov M. Gabbay uuuu-uuuu Okänt
65-66 Handbook of logic in artificial intelligence and logic programming. Volume 5. / Dov M. Gabbay, C. J. Hogger, and J. A. Robinson (flera utgåvor) Dov M. Gabbay uuuu-uuuu Okänt
67 Handbook of Philosophical Logic electronic resource Dov M. Gabbay 2007 Engelska
68 Handbook of Philosophical Logic - Volume 17 Dov M. Gabbay 2014 Engelska
69 Handbook of Philosophical Logic Dov M. Gabbay 2011 Okänt
70 Interactive Logic: Selected Papers from the 7th Augustus De Morgan Workshop, London (Texts in logic and games v. 1) Dov M. Gabbay 2007 Okänt
71-72 Interpolation and definability - modal and intuitionistic logic (flera utgåvor) Dov M. Gabbay 2005 Engelska
73-74 Interpolation and definability electronic resource : modal and intuitionistic logics / D.M. Gabbay, L.Maksimova (flera utgåvor) Dov M. Gabbay uuuu-uuuu Okänt
75 Interpolation and definability : modal and intuitionistic logics / D.M. Gabbay, L.Maksimova Dov M. Gabbay uuuu-uuuu Okänt
76 Investigations in modal and tense logics with applications to problems in philosophy and linguistics Dov M. Gabbay cop. 1976 Engelska
77 Investigations in modal and tense logics with applications to problems in philosophy and linguistics / Dov M. Gabbay Dov M. Gabbay uuuu-uuuu Okänt
78 Logical and Relational Learning electronic resource Dov M. Gabbay 2008 Engelska
79 Logical Tools for Handling Change in Agent-Based Systems Dov M. Gabbay 2010 Engelska
80 Logical Tools for Handling Change in Agent-Based Systems Dov M. Gabbay 2010 Okänt

Förra sidan 1 2 3 4 5 6 7 8 9 10 11 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.