Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "computer science"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
author_facet:"Gabbay, Dov M."
dewey-ones:"160 - Logic"
Showing
1
-
20
of
23
Search:
'"computer science"'
,
query time: 0.15s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Handbook of Tableau Methods
Published 1999
Springer Netherlands
Subjects:
“
...
Computer
science
/ Mathematics...
”
Read Now
2
Handbook of Philosophical Logic : Volume 17
Published 2014
Springer Netherlands
“
... to
computer
science
and formal language and artificial intelligence. It shows how the increased demand...
”
Read Now
3
Many-dimensional modal logics : theory and applications
by
Gabbay, Dov M.
Published 2003
Elsevier North Holland
Call Number:
BC199.M6
Read Now
4
Logic and the modalities in the twentieth century
by
Gabbay, Dov M.
Published 2006
Elsevier North Holland
“
... in logic, history of logic, mathematics, history of mathematics,
computer
science
and artificial...
”
Call Number:
BC15
Read Now
5
Handbook of Philosophical Logic : Volume III: Alternatives to Classical Logic
Published 1986
Springer Netherlands
“
..., physics,
computer
science
, philosophy, psychology, or linguistics. A number of other alternatives had...
”
Read Now
6
Goal-Directed Proof Theory
by
Gabbay, Dov M.
,
Olivetti, N.
Published 2000
Springer Netherlands
“
... in non-classical logics, the relevance of which to
computer
science
is now widely acknowledged...
”
Read Now
7
Labelled Deduction
Published 2000
Springer Netherlands
“
... to problems in
computer
science
, AI, mathematical logic, cognitive science, philosophy and computational...
”
Read Now
8
Handbook of Philosophical Logic
Published 2001
Springer Netherlands
“
... logic was gaining ground in
computer
science
and artificial intelligence cireles. These areas were under...
”
Read Now
9
Handbook of Philosophical Logic
Published 2002
Springer Netherlands
“
... logic was gaining ground in
computer
science
and artificial intelligence circles. These areas were under...
”
Read Now
10
Handbook of Philosophical Logic
Published 2004
Springer Netherlands
“
... logic was gaining ground in
computer
science
and artificial intelligence circles. These areas were under...
”
Read Now
11
Quantified Representation of Uncertainty and Imprecision
Published 1998
Springer Netherlands
“
... of Logic in
Computer
Science
, the Handbook of Logic in Artificial Intelligence and Logic Programming...
”
Read Now
12
The reach of abduction : insight and trial
by
Gabbay, Dov M.
Published 2005
Elsevier
“
.... The coverage of the book is extensive, from the philosophy of science to
computer
science
and AI, from...
”
Call Number:
BC199.A26
Read Now
13
Handbook of Philosophical Logic
Published 2001
Springer Netherlands
“
... logic was gaining ground in
computer
science
and artificial intelligence circles. These areas were under...
”
Read Now
14
Handbook of Philosophical Logic
Published 2001
Springer Netherlands
“
... junction was gaining ground in
computer
science
and artificial intelligence cireles. These areas were under...
”
Read Now
15
Handbook of Philosophical Logic
Published 2002
Springer Netherlands
“
... logic was gaining ground in
computer
science
and artificial intelligence cireles. These areas were under...
”
Read Now
16
Handbook of Philosophical Logic
Published 2002
Springer Netherlands
“
... logic was gaining ground in
computer
science
and artificial intelligence circles. These areas were under...
”
Read Now
17
Handbook of Philosophical Logic
Published 2002
Springer Netherlands
“
... logic was gaining ground in
computer
science
and artificial intelligence circles. These areas were under...
”
Read Now
18
Handbook of Philosophical Logic : Volume 10
Published 2003
Springer Netherlands
“
... logic was gaining ground in
computer
science
and artificial intelligence circles. These areas were under...
”
Read Now
19
Logic from Russell to Church
by
Gabbay, Dov M.
Published 2009
North Holland
“
...,
computer
science
, artificial intelligence, for whom the historical background of his or her work is a...
”
Read Now
20
Handbook of the history of logic, Volume 2: Mediaeval and renaissance logic
by
Gabbay, Dov M.
Published 2008
North Holland
“
... of logic, mathematics, history of mathematics,
computer
science
and AI, linguistics, cognitive science...
”
Call Number:
BC34
1
2
Back
Narrow Search
Remove Filters
Clear Filter
Author: Gabbay, Dov M.
Clear Filter
Classification: 160 - Logic
Year of Publication
From:
To:
Classification
160 - Logic
511 - General principles of mathematics
1
Language
English
23
Collection
Springer Book Archives -2004
15
Elsevier eBook collection Mathematics
6
Elsevier ScienceDirect eBooks
1
Springer eBooks 2005-
1
Author
Gabbay, Dov M.
Guenthner, Franz
11
Woods, John
6
D'Agostino, M.
2
Smets, Philippe
2
Basin, David
1
more ...
Hähnle, Reiner
1
Matthews, Seán
1
Olivetti, N.
1
Posegga, J.
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=author_facet%3A%22Gabbay%2C+Dov+M.%22&filter%5B%5D=dewey-ones%3A%22160+-+Logic%22&lookfor=%22computer+science%22&type=AllFields
Send by Email
×
Loading...