Ergebnisse filtern
-
- 288
-
- 46
- 183
- 14
- 10
- 35
-
- 1
- 12
- 238
- 37
-
- 288
- 2
-
- 288
-
- 288
- 4
-
Schlechta Nonmonotonic Logics
Basic Concepts, Results, and Techniques1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62482-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Akiyama / Bo / Kano Computational Geometry, Graphs and Applications
International Conference,CGGA 2010, Dalian, China, November 3-6, 2010, Revised, Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24982-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Treinen Rewriting Techniques and Applications
20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02347-7Medium: 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: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
He / Pacuit / Horty Logic, Rationality, and Interaction
Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04892-0Medium: Buch53,49 € (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 -
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 -
Ong Typed Lambda Calculi and Applications
10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21690-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chen / Zhang / Gao Computing and Combinatorics
30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part IIErscheinungsjahr 2025Verlag: Springer Nature SingaporeISBN: 978-981-961092-1Medium: Buch87,73 € (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 -
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 -
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 -
Coquand / Smith / Dybjer Types for Proofs and Programs
International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41517-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Khachay / Kochetov / Pardalos Mathematical Optimization Theory and Operations Research
22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-35304-8Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Budach / Lupanov / Bukharajev Fundamentals of Computation Theory
International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18740-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miklós / Ciccarelli Comparative Genomics
International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04743-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schulz Word Equations and Related Topics
1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55124-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ronchi Della Rocca Typed Lambda Calculi and Applications
8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73227-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ohlbach / Gabbay Practical Reasoning
International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61313-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kowalski / Bibel 5th Conference on Automated Deduction
Les Arcs, France, July 8-11, 19801980Verlag: Springer Berlin HeidelbergISBN: 978-3-540-10009-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Marek / Truszcynski / Nerode Logic Programming and Nonmonotonic Reasoning
Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59487-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Carlet / Pott Sequences and Their Applications - SETA 2010
6th International Conference, Paris, France, September 13-17, 2010. Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15873-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nijholt Context-Free Grammars
Covers, Normal Forms, and Parsing1980Verlag: Springer Berlin HeidelbergISBN: 978-3-540-10245-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baratgin / Jacquet / Yama Human and Artificial Rationalities
Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-55244-1Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Du / Fu Computing and Combinatorics
17th Annual International Conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings2011Verlag: SpringerISBN: 978-3-642-22684-7Medium: 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