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 Gabbay 218 träffar

Titel Författare År Språk
81 Many-dimensional modal logics - theory and applications 2003 Engelska
82 Mathematical problems from applied logic 1, Logics for the XXIst century 2006 Engelska
83 Practical reasoning International Conference on Formal and Applied Practical Reasoning 1996) (Bonn : cop. 1996 Engelska
84 Qualitative and quantitative practical reasoning - proceedings International Joint Conference on Qualitative and Quantitative Practical Reasoning 1997 : Bad Honnef) cop. 1997 Engelska
85 Temporal logic - proceedings International Conference Temporal Logic 1994) Bonn : cop. 1994 Engelska
86 What is a logical system? 1994 Engelska
87 Agenda Relevance: A Study in Formal Pragmatics 2003 Okänt
88 The Functional Interpretation Of Logical Deduction Anjolina G De Oliveira 2011 Okänt
89 Approaches to Legal Rationality (Logic, Epistemology, and the Unity of Science) 2011 Okänt
90 Neural-Symbolic Learning Systems Artur S. d'Avila Garcez 2002 Okänt
91 Analysis and Synthesis of Logics electronic resource - How to Cut and Paste Reasoning Systems Walter. Carnielli 2008 Engelska
92 Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied logic series v. 35) Walter Carnielli 2008 Okänt
93 Advances in Temporal Logic Dov Gabbay 2000 Okänt
94 Goal-Directed Proof Theory Dov M. Gabbay 2000 Okänt
95 Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Dov M. Gabbay uuuu-uuuu Okänt
96 Interpolation and Definability: Modal and Intuitionistic Logics (Oxford logic guides 46) Dov M. Gabbay 2005 Okänt
97 Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics Dov M. Gabbay 1976 Okänt
98 Mathematical Problems from Applied Logic I: Logics for the XXIst Century (International mathematical series v. 4) Dov M. Gabbay 2006 Okänt
99 Practical Reasoning Dov M. Gabbay uuuu-uuuu Okänt
100 Qualitative and Quantitative Practical Reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 912, 1997 Proceedings Dov M. Gabbay uuuu-uuuu 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.