Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "computational logic"
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
Search alternatives
:
"computational logic" »
"computational biology"
Showing
1
-
20
of
255
Search:
'"computational logic"'
,
query time: 0.19s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Computer
Logic
: Design Principles and Applications
by
Hsu, John Y.
Published 2002
Springer New York
“
...An understanding of modern
computer
logic
- incorporating core knowledge of number systems, number...
”
Read Now
2
Computational
Logic
Published 1999
Springer Berlin Heidelberg
Read Now
3
Computational
Logic
: Symposium Proceedings, Brussels, November 13/14, 1990
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
...Problems and Promises of
Computational
Logic
-- An Introduction to Prolog III -- On Open Defaults...
”
Read Now
4
Constraints in
Computational
Logics
: First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings
by
Jouannaud, Jean-Pierre
Published 1994
Springer
Read Now
5
Intellectics and
Computational
Logic
: Papers in Honor of Wolfgang Bibel
Published 2000
Springer Netherlands
“
... and
computational
logic
, ranging across automated deduction, logic programming, the logic-based approach...
”
Read Now
6
Computation
,
Logic
, Philosophy : A Collection of Essays
by
Wang Hao
Published 1990
Springer Netherlands
Read Now
7
Constraints in
Computational
Logics
: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
“
... in
Computational
Logics
, CCL '94, held in Munich, Germany in September 1994. Besides abstracts or full papers...
”
Read Now
8
Computational
Logic
and Set Theory : Applying Formalized Logic to Analysis
by
Schwartz, Jacob T.
,
Cantone, Domenico
,
Omodeo, Eugenio G.
Published 2011
Springer London
“
... on
computational
logic
and set theory and its application to proof verification techniques, culminating...
”
Read Now
9
Computational
Logic
— CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
...Psychiatric Diagnosis from the Viewpoint of
Computational
Logic
...
”
Read Now
10
Program Development in
Computational
Logic
: A Decade of Research Advances in Logic-Based Program Development
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... in
Computational
Logic
-- Synthesis of Programs in
Computational
Logic
-- Developing Logic Programs from...
”
Read Now
11
Computational
Logic
and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
“
.... The aim of this meeting wasto bring together researchers working in the fields of
computational
logic
...
”
Read Now
12
Computational
Logic
and Proof Theory : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings
by
Gottlob, Georg
Published 1993
Springer
Read Now
13
Computational
Logic
and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
“
...This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on
Computational
...
”
Read Now
14
Program Development in
Computational
Logic
: A Decade of Research Advances in Logic-Based Program Development
by
Bruynooghe, Maurice
Published 2004
Springer Berlin Heidelberg
Read Now
15
Computational
Logic
— CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings
by
Lloyd, John
Published 2000
Springer-Verlag Berlin Heidelberg
Read Now
16
Computational
Logic
and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
by
Gottlob, Georg
Published 1997
Springer Berlin Heidelberg
Read Now
17
Computational
logic
and human thinking : how to be artificially intelligent
by
Kowalski, Robert
Published 2011
Cambridge University Press
Table of Contents:
“
... and objects -- 15. Biconditionals -- 16.
Computational
logic
and the selection task -- 17. Meta-logic...
”
Call Number:
Q342
Read Now
18
The Nature of
Computation
:
Logic
, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Read Now
19
Computational
Logic
in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
“
...This book constitutes the proceedings of the 14th International Workshop on
Computational
Logic
...
”
Read Now
20
Computational
Logic
in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
Published 2009
Springer Berlin Heidelberg
“
... Workshop on
Computational
Logic
for Multi-Agent Systems, CLIMA IX, held in Dresden, Germany, in September...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
77
004 - Data processing & computer science
59
006 - Special computer methods
53
621 - Applied physics
25
745 - Decorative arts
21
620 - Engineering & allied operations
20
more ...
511 - General principles of mathematics
17
160 - Logic
9
500 - Natural sciences & mathematics
5
510 - Mathematics
4
003 - Systems
3
518 - Numerical analysis
3
000 - Computer science, information & general works
2
330 - Economics
2
331 - Labor economics
2
519 - Probabilities & applied mathematics
2
001 - Knowledge
1
025 - Library operations
1
140 - Specific philosophical schools
1
300 - Social sciences
1
320 - Political science
1
338 - Production
1
340 - Law
1
370 - Education
1
512 - Algebra
1
610 - Medicine & health
1
629 - Other branches of engineering
1
658 - General management
1
700 - The arts; fine & decorative arts
1
900 - History & geography
1
see all ...
less ...
Language
English
233
German
14
Collection
Springer eBooks 2005-
108
Springer Book Archives -2004
101
O'Reilly
26
Lecture Notes in Computer Science
8
Cambridge Books Online
3
MIT Press eBook Archive
3
more ...
Springer Lecture Notes Archiv 1964-1996
3
OAPEN
2
Directory of Open Access Books
1
see all ...
less ...
Author
Dix, Jürgen
5
Leite, João
5
Sadri, Fariba
5
Voronkov, Andrei
5
Bruynooghe, Maurice
4
Gottlob, Georg
4
more ...
Lau, Kung-Kiu
4
Leitsch, Alexander
4
Mundici, Daniele
4
Torroni, Paolo
4
Cantone, Domenico
3
Fisher, Michael
3
Petta, Paolo
3
Ayouni, Mansour
2
Bauer, F. L.
2
Boley, Harold
2
Comon, Hubert
2
Dahl, Veronica
2
Dalla Chiara, Maria Luisa
2
Dastani, Mehdi
2
Dershowitz, Nachum
2
Furbach, Ulrich
2
Giuntini, Roberto
2
Governatori, Guido
2
Jamroga, Wojtek
2
Jouannaud, Jean-Pierre
2
Kakas, Antonis C
2
Kerber, Manfred
2
Kozen, Dexter
2
Kurt-Gödel-Gesellschaft
2
Küchlin, Wolfgang
2
Leite, Joao
2
Lloyd, John
2
Löwe, Benedikt
2
Maciaszek, Leszek A.
2
Marche, Claude
2
Martin-Löf, Per
2
Maxfield, Clive
2
Mints, Grigori
2
Montanari, Ugo
2
Omodeo, Eugenio G.
2
Policriti, Alberto
2
Rossi, Francesca
2
Satoh, Ken
2
Toni, Francesca
2
Treinen, Ralf
2
Weber, Andreas
2
Woodcock, Jim
2
Zeugmann, Thomas
2
de Queiroz, Ruy
2
van der Torre, Leon
2
Abu-Hanna, Ameen
1
Aceto, Luca
1
Adeli, Hojjat
1
Affenzeller, Michael
1
Agazzi, E.
1
Agotnes, Thomas
1
Aguzzoli, S.
1
Aichernig, Bernhard K.
1
Amgoud, Leila
1
Anis, Mohab
1
Antoniou, Grigoris
1
Antunes, Luis
1
Apt, Krzysztof R.
1
Armgardt, Matthias
1
Artikis, Alexander
1
Astola, Jaakko
1
Attie, Paul D.
1
Ayala-Rincón, Mauricio
1
Baaz, Matthias
1
Bacci, Giorgio
1
Bacci, Giovanni
1
Baeza-Yates, Ricardo
1
Baier, Christel
1
Baker, Edward K.
1
Baldoni, Matteo
1
Ban Kirigin, Tajana
1
Bartosek, Miroslav
1
Bassett, Caroline
1
Bauer, Friedrich L.
1
Bekki, Daisuke
1
Bellazzi, Riccardo
1
Benthem, Johan van
1
Bergadano, Francesco
1
Berger, Ulrich
1
Bimbó, Katalin
1
Bioul, Géry Jean Antoine
1
Bjørner, Nikolaj
1
Blass, Andreas
1
Boella, Guido
1
Boiten, Eerke
1
Bonizzoni, Paola
1
Bordini, Rafael H.
1
Bosnacki, Dragan
1
Bossi, Annalisa
1
Bowen, Jonathan P.
1
Bradley, Aaron R.
1
Brattka, Vasco
1
Braubach, Lars
1
Brauer, Wilfried
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22computational+logic%22&type=AllFields
Send by Email
×
Loading...