Ergebnisse filtern
-
- 159
-
- 159
-
- 1
- 10
- 132
- 16
-
- 159
- 2
-
- 159
-
- 159
- 3
-
Caviness EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings
Volume 2: Research Contributions1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15984-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Kleine Büning / Richter CSL'88
2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings1. Auflage 1989Verlag: SpringerISBN: 978-3-540-51659-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Choffrut Automata Networks
LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-19444-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pin Formal Properties of Finite Automata and Applications
LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings1. Auflage 1989Verlag: SpringerISBN: 978-3-540-51631-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Monien / Vidal-Naquet STACS 86
3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 19861. Auflage 1985Verlag: SpringerISBN: 978-3-540-16078-6Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pearce / Wagner Logics in AI
European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55887-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Harju / Karhumäki / Lepistö Developments in Language Theory
11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73207-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pettorossi Meta-Programming in Logic
Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-56282-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kuich / Rozenberg / Salomaa Developments in Language Theory
5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43453-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ito / Toyama Developments in Language Theory
12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85779-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Calude / Dinneen Developments in Language Theory
8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-24014-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Martin-Löf / Mints COLOG-88
International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-52335-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jouannaud Constraints in Computational Logics
First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58403-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ralescu Fuzzy Logic in Artificial Intelligence
IJCAI '93 Workshop, Chamberry, France, August 28, 1993. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58409-4Medium: 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 -
Bläsius / Hedtstück / Rollinger Sorts and Types in Artificial Intelligence
Workshop, Eringerfeld, FRG, April 24-26, 1989. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52337-6Medium: 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: Buch58,84 € (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 -
Ziarko / Yao Rough Sets and Current Trends in Computing
Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000 Revised Papers1. Auflage 2001Verlag: SpringerISBN: 978-3-540-43074-2Medium: Buch106,99 € (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 IErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-962881-0Medium: Buch69,54 € (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 -
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 -
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 -
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: Buch85,59 € (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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort