Ergebnisse filtern
-
- 302
-
- 301
- 1
-
- 1
- 13
- 249
- 39
-
- 302
- 2
-
- 302
-
- 302
- 3
-
Baumgartner Theory Reasoning in Connection Calculi
1. Auflage 1998Verlag: SpringerISBN: 978-3-540-65509-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brun / Carletti / Bougleux Graph-Based Representations in Pattern Recognition
14th IAPR-TC-15 International Workshop, GbRPR 2025, Caen, France, June 25-27, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-94138-2Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gunter / Felty Theorem Proving in Higher Order Logics
10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63379-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ren / Hussain / Liao Advances in Brain Inspired Cognitive Systems
13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings2024Verlag: SpringerISBN: 978-981-97-1416-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ghosh / Zhang Algorithmic Aspects in Information and Management
18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I2024Verlag: SpringerISBN: 978-981-97-7797-6Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hussain / Zhao / Jiang Advances in Brain Inspired Cognitive Systems
14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-962884-1Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chinchuluun / Enkhbat / Du Algorithmic Aspects in Information and Management
19th International Conference, AAIM 2025, Ulaanbaatar, Mongolia, June 23-25, 2025, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-981-955656-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ghosh / Zhang Algorithmic Aspects in Information and Management
18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-981-97-7800-3Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Aagaard / Harrison Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67863-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bai / Wegner Electronic Information and Communication in Mathematics
ICM 2002 International Satellite Conference, Beijing, China, August 29-31, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40689-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yan / Liu / Westerståhl 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: SpringerISBN: 978-3-031-86053-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cerioli / Reggio Recent Trends in Algebraic Development Techniques
15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers2002Verlag: SpringerISBN: 978-3-540-43159-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McCune / Padmanabhan Automated Deduction in Equational Logic and Cubic Curves
Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61398-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Comon / Marche / Treinen Constraints in Computational Logics: Theory and Applications
International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised LecturesErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41950-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sandford Using Sophisticated Models in Resolution Theorem Proving
1. Auflage 1980Verlag: SpringerISBN: 978-3-540-10231-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Martin / Ralescu Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems
IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995, Selected PapersErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62474-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Casadio / Coecke / Moortgat Categories and Types in Logic, Language, and Physics
Essays dedicated to Jim Lambek on the Occasion of this 90th BirthdayErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54788-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems
Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings1. Auflage 1991Verlag: SpringerISBN: 978-3-540-55092-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baratgin / Jacquet / Brochier Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness
Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-84594-9Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bert / Bowen / Henson ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43166-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhong / Ohsuga New Directions in Rough Sets, Data Mining, and Granular-Soft Computing
7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66645-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jones / Hagiya / Sato Logic, Language and Computation
Festschrift in Honor of Satoru Takasu1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57935-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Desel / Reisig / Rozenberg Lectures on Concurrency and Petri Nets
Advances in Petri Nets1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22261-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ehrig / Reisig / Rozenberg Petri Net Technology for Communication-Based Systems
Advances in Petri Nets1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20538-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ehrig / Juhas / Padberg Unifying Petri Nets
Advances in Petri Nets1. Auflage 2001Verlag: SpringerISBN: 978-3-540-43067-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