Ergebnisse filtern
-
- 244
-
- 26
- 183
- 18
- 1
- 14
- 2
-
- 1
- 13
- 202
- 28
-
- 244
- 2
-
- 243
- 1
-
- 244
- 3
-
Thielscher Challenges for Action Theories
2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67455-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gabbay / Ohlbach / Kruse Qualitative and Quantitative Practical Reasoning
First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63095-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nipkow Rewriting Techniques and Applications
9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64301-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kapur Automated Deduction - CADE-11
11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55602-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Remy / Rusinowitch Conditional Term Rewriting Systems
Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56393-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Heering / Nipkow / Meinke Higher-Order Algebra, Logic, and Term Rewriting
First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58233-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Djidjev Optimal Algorithms
International Symposium. Varna, Bulgaria, May 29-June 2, 1989. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51859-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gomes / Biere Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-37206-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Callaghan / Pollack / Luo Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43287-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wolfmann / Cohen Coding Theory and Applications
3rd International Colloquium, Toulon, France, November 2-4, 1988. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51643-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Langston / Bodlaender Parameterized and Exact Computation
Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-39098-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hindley / Groote Typed Lambda Calculi and Applications
Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62688-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dewar / Kaminski / Kaminski Modelling and Mining Networks
19th International Workshop, WAW 2024, Warsaw, Poland, June 3¿6, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-59204-1Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Asperti / Trybulec / Bancerek Mathematical Knowledge Management
Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23029-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wansing / Pearce Nonclassical Logics and Information Processing
International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55745-6Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Habel Hyperedge Replacement: Grammars and Languages
1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56005-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wirsing / Maluszynski Programming Language Implementation and Logic Programming
3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54444-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brookes / Main / Schmidt Mathematical Foundations of Programming Semantics
7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55511-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Akiyama / Urabe / Kano Discrete and Computational Geometry
Japanese Conference, JCDCG'98 Tokyo, Japan, December 9-12, 1998 Revised Papers2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67181-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bouquet / Serafini / Castellani Modeling and Using Context
Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66432-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McAllester Automated Deduction - CADE-17
17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67664-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hofmann Typed Lambda Calculi and Applications
6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40332-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bongiovanni / Di Battista / Bovet Algorithms and Complexity
Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62592-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dowek / Möller / Heering Higher-Order Algebra, Logic, and Term Rewriting
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61254-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmitt / Jantke Nonmonotonic and Inductive Logic
1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54564-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort