Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Symbol"
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:"Lecture Notes in Computer Science"
Search alternatives
:
symbol »
symbols
,
symbolic
Showing
1
-
20
of
68
Search:
'"Symbol"'
,
query time: 0.01s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Generalized Quantifiers and Computation : 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectu...
by
Väänänen, Jouko
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Logic,
Symbolic
and mathematical...
”
Read Now
2
Structures in Logic and Computer Science : A Selection of Essays in Honor of A. Ehrenfeucht
by
Mycielski, Jan
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Logic,
Symbolic
and mathematical...
”
Read Now
3
Artificial Intelligence and Symbolic Computation : International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers
by
Campbell, John A
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Symbolic
and Algebraic Manipulation...
”
Read Now
4
Logical Foundations of Computer Science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
by
Adian, Sergei
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Logic,
Symbolic
and mathematical...
”
Read Now
5
Theory Reasoning in Connection Calculi
by
Baumgartner, Peter
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...Logic,
Symbolic
and mathematical...
”
Read Now
6
Challenges for Action Theories
by
Thielscher, Michael
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Logic,
Symbolic
and mathematical...
”
Read Now
7
Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part II
by
Kakas, Antonis C
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Symbolic
and Algebraic Manipulation...
”
Read Now
8
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
by
Galmiche, Didier
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Logic,
Symbolic
and mathematical...
”
Read Now
9
Logics in Artificial Intelligence : European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings
by
Dix, Jürgen
Published 1998
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Logic,
Symbolic
and mathematical...
”
Read Now
10
Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers
by
Cerioli, Maura
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Symbolic
and Algebraic Manipulation...
”
Read Now
11
Typed Lambda Calculi and Applications : 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings
by
Girard, Jean-Yves
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Logic,
Symbolic
and mathematical...
”
Read Now
12
Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
by
Groote, Philippe de
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Logic,
Symbolic
and mathematical...
”
Read Now
13
Theory and Application of Graph Transformations : 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers
by
Ehrig, Hartmut
Published 2000
Springer Berlin Heidelberg
Subjects:
“
...
Symbolic
and Algebraic Manipulation...
”
Read Now
14
Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
by
Calmet, Jacques
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Symbolic
and Algebraic Manipulation...
”
Read Now
15
Algebraic Methodology and Software Technology : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings
by
Rus, Teodor
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Symbolic
and Algebraic Manipulation...
”
Read Now
16
Mathematical Foundations of Computer Science 1999 : 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings
by
Kutylowski, Miroslaw
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...Logic,
Symbolic
and mathematical...
”
Read Now
17
Theory and Applications of Relational Structures as Knowledge Instruments : COST Action 274, TARSKI, Revised Papers
by
Swart, Harrie de
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Symbolic
and Algebraic Manipulation...
”
Read Now
18
Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
by
Fribourg, Laurent
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Logic,
Symbolic
and mathematical...
”
Read Now
19
Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
by
Gottlob, Georg
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...Logic,
Symbolic
and mathematical...
”
Read Now
20
Computer Science Logic : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings
by
Bradfield, Julian
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Logic,
Symbolic
and mathematical...
”
1
2
3
4
Back
Narrow Search
Remove Filters
Clear Filter
Collection: Lecture Notes in Computer Science
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
68
Collection
Lecture Notes in Computer Science
Author
Poli, Alain
3
Buchberger, Bruno
2
Calmet, Jacques
2
Campbell, John A
2
Comon, Hubert
2
Fossorier, Marc
2
more ...
Gottlob, Georg
2
Leitsch, Alexander
2
Nipkow, Tobias
2
Rozenberg, Grzegorz
2
Abramsky, Samson
1
Adian, Sergei
1
Asperti, Andrea
1
Baaz, Matthias
1
Bachmair, Leo
1
Baumgartner, Peter
1
Benhamou, Belaid
1
Berghammer, R
1
Blanck, Jens
1
Bosma, Wieb
1
Bowen, Jonathan P
1
Boztaş, Serdar
1
Bradfield, Julian
1
Brattka, Vasco
1
Buell, Duncan
1
Buhler, Joe P
1
Caprotti, Olga
1
Cerioli, Maura
1
Cerro, Luís Fariñas
1
Clote, Peter G
1
Coquand, Thierry
1
Davenport, James Harold
1
Dix, Jürgen
1
Dybjer, Peter
1
Ehrig, Hartmut
1
Engels, Gregor
1
Esposito, Anna
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
Haeberer, Armando M
1
Hennicker, Rolf
1
Henocque, Laurent
1
Hertling, Peter
1
Hinchey, Michael G
1
Hindley, J Roger
1
Høholdt, Tom
1
Imai, Hideki
1
Jazayeri, Mehdi
1
Johansson, Thomas
1
Kahle, Reinhard
1
Kakas, Antonis C
1
Kirchner, Hélène
1
Komorowski, Jan
1
Kreowski, Hans-Jörg
1
Kutylowski, Miroslaw
1
Langer, Ulrich
1
Lin, Shu
1
Loos, Rüdiger G K
1
Lucchesi, Claudio L
1
Maharaj, Savitri
1
Makowsky, Johann M
1
Marche, Claude
1
Marinaro, Maria
1
Martin, Ralph R
1
Mattson, Harold F
1
McAllester, David
1
Middeldorp, Aart
1
Moggi, Eugenio
1
Mora, Teo
1
Moura, Arnaldo V
1
Mullen, Gary L
1
Mundici, Daniele
1
Musser, David R
1
Mycielski, Jan
1
Möller, Bernhard
1
Narendran, Paliath
1
Nerode, Anil
1
Nielsen, Mogens
1
Nordström, Bengt
1
Oostrom, Vincent van
1
Orlowska, Ewa
1
Pacholski, Leszek
1
Pattinson, Dirk
1
Plaza, Jan
1
Rattray, Charles
1
Reggio, Gianna
1
Ringeissen, Christophe
1
Roanes-Lozano, Eugenio
1
Rodriguez-Artalejo, Mario
1
Rosolini, Giuseppe
1
Roubens, Marc
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%22Lecture+Notes+in+Computer+Science%22&lookfor=%22Symbol%22&type=Subject
Send by Email
×
Loading...