Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Logic, Symbolic And Mathematical"
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
dewey-ones:"004 - Data processing & computer science"
Search alternatives
:
mathematical »
mathematics
Showing
21
-
30
of
30
Search:
'"Logic, Symbolic And Mathematical"'
,
query time: 0.45s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
21
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
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
22
Computability and Complexity in Analysis : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers
by
Blanck, Jens
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
23
Category Theory and Computer Science : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
by
Moggi, Eugenio
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
24
Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
by
Coquand, Thierry
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
25
Constraints in Computational Logics. Theory and Applications : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
by
Comon, Hubert
Published 2001
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
26
Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings
by
Goré, Rajeev
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
27
Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
by
Nipkow, Tobias
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
28
Computational thinking for the modern problem solver
by
Riley, David D.
Published 2014
CRC Press
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
/ http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
Q342
Read Now
29
Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings
by
Kahle, Reinhard
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
Read Now
30
Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
by
Giunchiglia, Enrico
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Logic
,
Symbolic
and
mathematical
...
”
1
2
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
500 - Natural sciences & mathematics
1
510 - Mathematics
1
Language
English
1
Collection
Lecture Notes in Computer Science
29
O'Reilly
1
Author
Gottlob, Georg
2
Leitsch, Alexander
2
Nipkow, Tobias
2
Abramsky, Samson
1
Adian, Sergei
1
Baaz, Matthias
1
more ...
Baumgartner, Peter
1
Blanck, Jens
1
Bradfield, Julian
1
Brattka, Vasco
1
Cerro, Luís Fariñas
1
Clote, Peter G
1
Comon, Hubert
1
Coquand, Thierry
1
Dix, Jürgen
1
Dybjer, Peter
1
Felty, Amy
1
Flum, Jörg
1
Fribourg, Laurent
1
Furbach, Ulrich
1
Galmiche, Didier
1
Girard, Jean-Yves
1
Giunchiglia, Enrico
1
Goré, Rajeev
1
Grandjean, Etienne
1
Groote, Philippe de
1
Gunter, Elsa L
1
Hertling, Peter
1
Hindley, J Roger
1
Hunt, Kenny A.
1
Kahle, Reinhard
1
Kutylowski, Miroslaw
1
Makowsky, Johann M
1
Marche, Claude
1
McAllester, David
1
Moggi, Eugenio
1
Mundici, Daniele
1
Mycielski, Jan
1
Nerode, Anil
1
Nielsen, Mogens
1
Nordström, Bengt
1
Pacholski, Leszek
1
Riley, David D.
1
Rodriguez-Artalejo, Mario
1
Rosolini, Giuseppe
1
Rozenberg, Grzegorz
1
Salomaa, Arto
1
Schroeder-Heister, Peter
1
Schwichtenberg, Helmut
1
Seyr, Katrin
1
Smith, Jan
1
Stärk, Robert
1
Tacchella, Armando
1
Thielscher, Michael
1
Thomas, Wolfgang
1
Treinen, Ralf
1
Väänänen, Jouko
1
Wierzbicki, Tomasz
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=2&filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&lookfor=%22Logic%2C+Symbolic+And+Mathematical%22&type=Subject
Send by Email
×
Loading...