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
161 Revision, Acceptability and Context: Theoretical and Algorithmic Aspects Dov M. Gabbay 2010 Okänt
162 Rough-Neural Computing Dov M.; Siekmann Gabbay 2004 Engelska
163-164 Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay (flera utgåvor) Dov M. Gabbay uuuu-uuuu Okänt
165 Studies in logic and the foundations of mathematics. Volume 153, Quantification in nonclassical logic. Volume 1 electronic resource / D.M. Gabbay, V.B. Shehtman, D.P. Skvortsov Dov M. Gabbay uuuu-uuuu Okänt
166 Philosophy of Information : Handbook of the Philosophy of Science Dov M.; Thagard Gabbay 2008 Engelska
167 "Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings" Dov M. Gabbay 1994 Okänt
168 Temporal logic Vol. 1 - mathematical foundations and computational aspects Dov M. Gabbay 1994 Engelska
169 Neural-Symbolic Cognitive Reasoning Artur S. D'Avila Garcez 2009 Okänt
170 Greek, Indian and Arabic Logic 2004 Okänt
171 Handbook of Philosophical Logic Franz. Guenthner 2011 Okänt
172 Handbook of Philosophical Logic, Volume 17 Franz Guenthner 2014 Okänt
173 Handbook of logic in artificial intelligence and logic programming Vol. 1, Logical foundations 1993 Engelska
174 Handbook of logic in artificial intelligence and logic programming Vol. 2, Deduction methodologies 1994 Engelska
175 Handbook of logic in artificial intelligence and logic programming Vol. 3, Nonmonotonic reasoning and uncertain reasoning 1994 Engelska
176 Handbook of logic in artificial intelligence and logic programming Vol. 4, Epistemic and temporal reasoning 1995 Engelska
177 Handbook of logic in computer science Vol. 2, Background - computational structures 1992 Engelska
178 Handbook of logic in computer science Vol. 3, Semantic structures 1994 Engelska
179 Handbook of logic in computer science Vol. 4, Semantic modelling 1995 Engelska
180 Handbook of logic in computer science Vol. 5, Logic and algebraic methods 2000 Engelska

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.