Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "logics"
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
product_txtF_mv:"Springer Lecture Notes Archiv 1964-1996"
Showing
1
-
20
of
143
Search:
'"logics"'
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Logics
for Concurrency : Structure versus Automata
by
Birtwistle, Graham
Published 1996
Springer
Read Now
2
From
Logic
Design to
Logic
Programming : Theorem Proving Techniques and P-Functions
Published 1987
Springer
Read Now
3
Logics
of Programs : Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983
by
Clarke, Edmund
Published 1984
Springer
Read Now
4
Logics
of Programs : Workshop, Yorktown Heights, New York, May 1981
by
Kozen, Dexter
Published 1982
Springer
Read Now
5
Logic
of Programs : Workshop, ETH Zürich, May–July 1979
by
Engeler, Erwin
Published 1981
Springer
Read Now
6
Logic
Programming...
by
Voronkov, A.
Published 1992
Springer
Read Now
7
Vivid
Logic
: Knowledge-Based Reasoning with Two Kinds of Negation
Published 1994
Springer
Read Now
8
Temporal
Logic
: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings
by
Gabbay, Dov
Published 1994
Springer
Read Now
9
Logic
in Databases : International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings
by
Pedreschi, Dino
Published 1996
Springer
Read Now
10
Logics
of Programs : Brooklyn, June 17–19, 1985 Proceedings
by
Parikh, Rohit
Published 1985
Springer
Read Now
11
Logics
in AI : European Workshop JELIA'92 Berlin, Germany, September 7–10, 1992 Proceedings
by
Pearce, D.
Published 1992
Springer
Read Now
12
Logics
in AI : European Workshop JELIA '90 Amsterdam, The Netherlands, September 10–14, 1990 Proceedings
by
Eijck, J.
Published 1991
Springer
Read Now
13
Algebra and
Logic
: Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
by
Crossley, John
Published 1975
Springer
Read Now
14
Logic
Colloquium : Symposium on Logic Held at Boston, 1972–73
by
Parikh, Rohit
Published 1975
Springer
Read Now
15
Logic
Program Synthesis and Transformation — Meta-Programming in
Logic
...
by
Fribourg, Laurent
Published 1994
Springer
Read Now
16
Logics
of Programs and Their Applications : Proceedings, Poznan, August 23–29, 1980
by
Salwicki, A.
Published 1983
Springer
Read Now
17
Logic
Programming '85 : Proceedings of the 4th Conference Tokyo, Japan, July 1–3, 1985
by
Wada, Eiiti
Published 1986
Springer
Read Now
18
Logic
Programming '86 : Proceedings of the 5th Conference Tokyo, Japan, June 23–26, 1986
by
Wada, Eiiti
Published 1987
Springer
Read Now
19
Logic
Programming '87 : Proceedings of the 6th Conference Tokyo, Japan, June 22–24, 1987
by
Fujisaki, Tetsunosuke
Published 1988
Springer
Read Now
20
Logic
at Botik '89 : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings
by
Meyer, Albert
Published 1989
Springer
1
2
3
4
5
6
7
8
Back
Narrow Search
Remove Filters
Clear Filter
Collection: Springer Lecture Notes Archiv 1964-1996
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
114
510 - Mathematics
26
530 - Physics
2
620 - Engineering & allied operations
1
Language
English
143
Collection
Springer Lecture Notes Archiv 1964-1996
Author
Börger, Egon
7
Richter, Michael
6
Kechris, Alexander
4
Müller, Gert
4
Börger, E.
3
Büning, Hans
3
more ...
Fujisaki, Tetsunosuke
3
Furukawa, Koichi
3
Hartenstein, Reiner
3
Levi, Giorgio
3
Martin, Donald
3
Meinke, Karl
3
Moschovakis, Yiannis
3
Nerode, Anil
3
Tanaka, Hozumi
3
Alferes, José
2
Bruynooghe, Maurice
2
Dyckhoff, Roy
2
Eisele, Ignaz
2
Furuhashi, Takeshi
2
Heering, Jan
2
Hermenegildo, Manuel
2
Kirchner, Hélène
2
Kleine Büning, Hans
2
Kozen, Dexter
2
Maluszyński, Jan
2
Möller, Bernhard
2
Pacholski, Leszek
2
Parikh, Rohit
2
Pearce, David
2
Penjam, Jaan
2
Pereira, Luís
2
Ralescu, Anca
2
Rodríguez-Artalejo, Mario
2
Schroeder-Heister, Peter
2
Tugué, Tosiyuki
2
Voronkov, Andrei
2
Wada, Eiiti
2
Wirsing, Martin
2
Alves-Foss, James
1
Bagchi, Tapan
1
Bakker, J.
1
Baldwin, John
1
Banieqbal, B.
1
Barringer, H.
1
Beaumont, A.
1
Becker, J.
1
Becker, Jörg
1
Becker, Jürg
1
Bergman, Clifford
1
Birtwistle, Graham
1
Boscarol, Mauro
1
Brewka, Gerhard
1
Büning, H.
1
Bürckert, H.
1
Camilleri, Juanito
1
Carlucci Aiello, Luigia
1
Chaudhri, Vinay
1
Clarke, Edmund
1
Comyn, G.
1
Crossley, John
1
Deransart, P.
1
Deransart, Pierre
1
Diller, Justus
1
Dix, J.
1
Dix, Jürgen
1
Doaitse Swierstra, S.
1
Dowek, Gilles
1
Driankov, Dimiter
1
Eijck, J.
1
Eisele, I.
1
Eklund, Peter
1
Engeler, Erwin
1
Eriksson, L.
1
Fisher, Michael
1
Fourman, Michael
1
Fribourg, Laurent
1
Fuchs, N.
1
Fuhrmann, André
1
Gabbay, Dov
1
Glesner, Manfred
1
Goos, Gerhard
1
Gottlob, Georg
1
Grabowski, J.
1
Grundy, Jim
1
Grünbacher, Herbert
1
Gupta, G.
1
Gurevich, Yuri
1
Haddawy, Peter
1
Hagiya, Masami
1
Hallnäs, L.
1
Hanus, Michael
1
Harel, David
1
Harrison, John
1
Hartmanis, Juris
1
Hasenjaeger, G.
1
Herre, Heinrich
1
Hodges, Wilfrid
1
Hölldobler, Steffen
1
Jantke, K.
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=product_txtF_mv%3A%22Springer+Lecture+Notes+Archiv+1964-1996%22&lookfor=%22logics%22&type=AllFields
Send by Email
×
Loading...