Ergebnisse filtern
-
- 98
-
- 3
- 87
- 1
- 7
-
- 3
- 83
- 12
-
- 98
-
- 98
-
- 98
-
Taitslin / Meyer Logic at Botik '89
Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51237-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Guessarian Semantics of Systems of Concurrent Processes
LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53479-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wagner / Pearce Logics in AI
European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55887-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Blanck / Hertling / Brattka Computability and Complexity in Analysis
4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42197-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pettorossi Meta-Programming in Logic
Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56282-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baumgartner Theory Reasoning in Connection Calculi
1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65509-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Shanahan / Ralescu Fuzzy Logic in Artificial Intelligence
IJCAI'97 Workshop Nagoya, Japan, August 23-24, 1997 Selected and Invited Papers1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66374-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Felty / Gunter Theorem Proving in Higher Order Logics
10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63379-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hussain / Yang / Jiang Advances in Brain Inspired Cognitive Systems
14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part IIErscheinungsjahr 2025Verlag: Springer Nature SingaporeISBN: 978-981-962884-1Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yan / Yang / Liu The Connectives in Logic and Language
4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-86053-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Harrison / Aagaard Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67863-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Küsters Non-Standard Inferences in Description Logics
From Foundations and Definitions to Algorithms and Analysis2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42397-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Comon / Treinen / Marche Constraints in Computational Logics: Theory and Applications
International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41950-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baratgin / Yama / Jacquet Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness
Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, ProceedingsErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-84594-9Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jones / Sato / Hagiya Logic, Language and Computation
Festschrift in Honor of Satoru Takasu1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57935-9Medium: Buch53,49 € (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 -
Stephan / Hutter Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25051-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Leivant Logic and Computational Complexity
International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60178-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Birtwistle / Moller Logics for Concurrency
Structure versus Automata1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60915-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 -
Väänänen Generalized Quantifiers and Computation
9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66993-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Aiswarya / Srivastava / Sen Logic and Its Applications
11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, ProceedingsErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-89609-5Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thielscher Challenges for Action Theories
2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67455-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Voronkov Logic Programming and Automated Reasoning
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56944-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Voronkov Logic Programming and Automated Reasoning
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55727-2Medium: 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