Ergebnisse filtern
Fachgebiet
Medium
  • 23
Erscheinungsjahr
  • 3
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
Autoren
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 2
  • 12
  • 6
  • 3
Preis
  • 1
  • 21
  • 1
Sprachen
  • 23
Verfügbarkeit
  • 23
Katalog
  • 23
  • 5

Philosophie

23  Treffer  für „Lecture Notes in Computer Science“
    Morishita / Arikawa | Discovery Science | Buch | Sack Fachmedien

    Morishita / Arikawa Discovery Science

    Third International Conference, DS 2000 Kyoto, Japan, December 4-6, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41352-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Furukawa / Arikawa | Discovery Science | Buch | Sack Fachmedien

    Furukawa / Arikawa Discovery Science

    Second International Conference, DS'99, Tokyo, Japan, December 6-8, 1999 Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66713-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lange / Smith / Satoh | Discovery Science | Buch | Sack Fachmedien

    Lange / Smith / Satoh Discovery Science

    5th International Conference, DS 2002, Lubeck, Germany, November 24-26, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00188-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Motoda / Arikawa | Discovery Science | Buch | Sack Fachmedien

    Motoda / Arikawa Discovery Science

    First International Conference, DS'98, Fukuoka, Japan, December 14-16, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65390-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grieser / Yamamoto / Tanaka | Discovery Science | Buch | Sack Fachmedien

    Grieser / Yamamoto / Tanaka Discovery Science

    6th International Conference, DS 2003, Sapporo, Japan, October 17-19,2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20293-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mints / Martin-Löf | COLOG-88 | Buch | Sack Fachmedien

    Mints / Martin-Löf COLOG-88

    International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52335-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wong / Hayashi / Baloian | Collaboration Technologies and Social Computing | Buch | Sack Fachmedien

    Wong / Hayashi / Baloian Collaboration Technologies and Social Computing

    28th International Conference, CollabTech 2022, Santiago, Chile, November 8¿11, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-20217-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gottlob / Mundici / Leitsch | Computational Logic and Proof Theory | Buch | Sack Fachmedien

    Gottlob / Mundici / Leitsch Computational Logic and Proof Theory

    Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57184-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lodaya | Logic and Its Applications | Buch | Sack Fachmedien

    Lodaya Logic and Its Applications

    5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-36038-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganesalingam | The Language of Mathematics | Buch | Sack Fachmedien

    Ganesalingam The Language of Mathematics

    A Linguistic and Philosophical Investigation
    2013
    Verlag: Springer
    ISBN: 978-3-642-37011-3
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow / Wenzel / Paulson | Isabelle/HOL | Buch | Sack Fachmedien

    Nipkow / Wenzel / Paulson Isabelle/HOL

    A Proof Assistant for Higher-Order Logic
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43376-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gottlob / Mundici / Leitsch | Computational Logic and Proof Theory | Buch | Sack Fachmedien

    Gottlob / Mundici / Leitsch Computational Logic and Proof Theory

    5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63385-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meinke / Kovács | Tests and Proofs | Buch | Sack Fachmedien

    Meinke / Kovács Tests and Proofs

    16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-09826-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alechina / Liang / Herzig | Logic, Rationality, and Interaction | Buch | Sack Fachmedien

    Alechina / Liang / Herzig Logic, Rationality, and Interaction

    9th International Workshop, LORI 2023, Jinan, China, October 26¿29, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-45557-5
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheok / Levy / Devlin | Love and Sex with Robots | Buch | Sack Fachmedien

    Cheok / Levy / Devlin Love and Sex with Robots

    Second International Conference, LSR 2016, London, UK, December 19-20, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-57737-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Canavotto | Where Responsibility Takes You | Buch | Sack Fachmedien

    Canavotto Where Responsibility Takes You

    Logics of Agency, Counterfactuals, and Norms
    1. Auflage 2022
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-17110-9
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silva / de Queiroz / Wassermann | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Silva / de Queiroz / Wassermann Logic, Language, Information, and Computation

    27th International Workshop, WoLLIC 2021, Virtual Event, October 5¿8, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-88852-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gasteren | On the Shape of Mathematical Arguments | Buch | Sack Fachmedien

    Gasteren On the Shape of Mathematical Arguments

    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52849-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbay / Ohlbach / Kruse | Qualitative and Quantitative Practical Reasoning | Buch | Sack Fachmedien

    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 Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63095-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciabattoni / de Queiroz / Pimentel | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Ciabattoni / de Queiroz / Pimentel Logic, Language, Information, and Computation

    28th International Workshop, WoLLIC 2022, Ia¿i, Romania, September 20¿23, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-15297-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hansen / de Queiroz / Scedrov | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Hansen / de Queiroz / Scedrov Logic, Language, Information, and Computation

    29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11¿14, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-39783-7
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Costa / Areces | Dynamic Logic. New Trends and Applications | Buch | Sack Fachmedien

    Costa / Areces Dynamic Logic. New Trends and Applications

    4th International Workshop, DaLí 2022, Haifa, Israel, July 31¿August 1, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-26621-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouquet / Serafini / Castellani | Modeling and Using Context | Buch | Sack Fachmedien

    Bouquet / Serafini / Castellani Modeling and Using Context

    Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66432-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular