Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ((computer programming) OR (computer programs))
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."
Search alternatives
:
computer programming »
computer program
computer programs »
computer program
Showing
1
-
20
of
21
Search:
'((computer programming) OR (computer programs))'
,
query time: 0.37s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Goal-Directed Proof Theory
by
Gabbay, Dov M.
,
Olivetti, N.
Published 2000
Springer Netherlands
Subjects:
“
...Compilers (
Computer
programs
)...
”
Read Now
2
Handbook of Defeasible Reasoning and Uncertainty Management Systems : Algorithms for Uncertainty and Defeasible Reasoning
Published 2000
Springer Netherlands
Table of Contents:
“
...Volume Introduction -- I: Fundamentals --
Computation
in Valuation Algebras -- Consequence Finding...
”
Read Now
3
Mathematical Problems from Applied Logic I : Logics for the XXIst Century
Published 2006
Springer New York
Table of Contents:
“
... of Provability -- Open Problems in Logical Dynamics --
Computability
and Emergence -- Samsara -- Two Doors...
”
Read Now
4
Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... -- Completeness through flatness in two-dimensional temporal logic -- Efficient
computation
of nested fix-points...
”
Read Now
5
Handbook of Philosophical Logic : Volume 14
Published 2007
Springer Netherlands
Subjects:
“
...
Computer
Science Logic and Foundations of
Programming
...
”
Read Now
6
Handbook of Philosophical Logic
Published 2004
Springer Netherlands
Subjects:
“
...
Computational
Linguistics...
”
Read Now
7
Advances in Temporal Logic
Published 2000
Springer Netherlands
Subjects:
“
...Data structures (
Computer
science)...
”
Read Now
8
Neural-Symbolic Learning Systems : Foundations and Applications
by
d'Avila Garcez, Artur S.
,
Broda, Krysia B.
,
Gabbay, Dov M.
Published 2002
Springer London
Table of Contents:
“
... Neural Networks -- 2.4 Logic
Programming
-- 2.5 Nonmonotonic Reasoning -- 2.6 Belief Revision -- I...
”
Read Now
9
Handbook of Philosophical Logic
Published 2001
Springer Netherlands
Table of Contents:
“
...
Programming
...
”
Read Now
10
Reasoning with Actual and Potential Contradictions
Published 1998
Springer Netherlands
Table of Contents:
“
... to Paraconsistent Negation) -- A Survey of Paraconsistent Semantics for Logic
Programs
-- Table of Contents...
”
Read Now
11
Labelled Deduction
Published 2000
Springer Netherlands
Table of Contents:
“
... Constraint Logic
Programming
-- Alessandra Raffaetà -- The Logic of Reusable Propositional Output...
”
Read Now
12
Interpolation and definability : modal and intuitionistic logic
by
Gabbay, Dov M.
Published 2005
Oxford University Press
“
... and with significant meaning and applicability in all areas where logic is applied, especially
computer
science...
”
Call Number:
QA9.46
Read Now
13
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
14
Handbook of Philosophical Logic
Published 2002
Springer Netherlands
“
... similar to a complex
computer
program
handling and manipulating data. My guess is that the principles...
”
Read Now
15
Handbook of Philosophical Logic
Published 2002
Springer Netherlands
“
... and to provide the theoretical basis for the
computer
program
constructs on the other...
”
Read Now
16
Handbook of Philosophical Logic
Published 2001
Springer Netherlands
“
... and to provide the theoretical basis for the
computer
program
constructs on the other...
”
Read Now
17
Handbook of Philosophical Logic : Volume 10
Published 2003
Springer Netherlands
“
... and to provide the theoretical basis for the
computer
program
constructs on the other...
”
Read Now
18
Handbook of Philosophical Logic
Published 2002
Springer Netherlands
“
... and to provide the theoretical basis for the
computer
program
constructs on the other...
”
Read Now
19
Handbook of Philosophical Logic
Published 2002
Springer Netherlands
“
... and to provide the theoretical basis for the
computer
program
constructs on the other...
”
Read Now
20
Handbook of Philosophical Logic
Published 2001
Springer Netherlands
“
... and to provide the theoretical basis for the
computer
program
constructs on the other...
”
1
2
Back
Narrow Search
Remove Filters
Clear Filter
Author: Gabbay, Dov M.
Year of Publication
From:
To:
Classification
160 - Logic
14
511 - General principles of mathematics
4
004 - Data processing & computer science
1
006 - Special computer methods
1
510 - Mathematics
1
Language
English
21
Collection
Springer Book Archives -2004
18
Springer eBooks 2005-
2
Oxford University Press
1
Author
Gabbay, Dov M.
Guenthner, Franz
11
Smets, Philippe
3
Barringer, Howard
1
Basin, David
1
Broda, Krysia B.
1
more ...
D'Agostino, M.
1
Fisher, Michael
1
Gough, Graham
1
Maksimova, L. L.
1
Matthews, Seán
1
Ohlbach, Hans J.
1
Olivetti, N.
1
Zakharyaschev, Michael
1
d'Avila Garcez, Artur S.
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&lookfor=%28%28computer+programming%29+OR+%28computer+programs%29%29&type=AllFields
Send by Email
×
Loading...