Ergebnisse filtern
Fachgebiet
Medium
  • 13
Erscheinungsjahr
  • 1
  • 1
  • 3
  • 3
  • 1
  • 2
  • 1
  • 1
Autoren
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 13
Preis
  • 12
  • 1
Sprachen
  • 13
Verfügbarkeit
  • 13
Katalog
  • 13

Philosophische Logik, Argumentationstheorie

13  Treffer  für „Lecture Notes in Computer Science“
    Beklemishev / de Queiroz | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Beklemishev / de Queiroz Logic, Language, Information, and Computation

    18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20919-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ghosh / Icard | Logic, Rationality, and Interaction | Buch | Sack Fachmedien

    Ghosh / Icard Logic, Rationality, and Interaction

    8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-88707-0
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goranko / Shi / Wang | Logic, Rationality, and Interaction | Buch | Sack Fachmedien

    Goranko / Shi / Wang Logic, Rationality, and Interaction

    10th International Conference on Logic, Rationality and Interaction, LORI 2025, Xi'an, China, October 16-19, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-952480-8
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hansen / Scedrov / de Queiroz | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

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

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

    Areces / Costa 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
    ISBN: 978-3-031-26621-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciabattoni / Pimentel / de Queiroz | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

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

    28th International Workshop, WoLLIC 2022, Ia¿i, Romania, September 20-23, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-15297-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blackburn / van Ditmarsch / Manzano | Tools for Teaching Logic | Buch | Sack Fachmedien

    Blackburn / van Ditmarsch / Manzano Tools for Teaching Logic

    Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21349-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alechina / Herzig / Liang | Logic, Rationality, and Interaction | Buch | Sack Fachmedien

    Alechina / Herzig / Liang Logic, Rationality, and Interaction

    9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-45557-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kovács / Meinke | Tests and Proofs | Buch | Sack Fachmedien

    Kovács / Meinke 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
    ISBN: 978-3-031-09826-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huisman / Howar | Tests and Proofs | Buch | Sack Fachmedien

    Huisman / Howar Tests and Proofs

    18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-72043-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow / Paulson / Wenzel | Isabelle/HOL | Buch | Sack Fachmedien

    Nipkow / Paulson / Wenzel Isabelle/HOL

    A Proof Assistant for Higher-Order Logic
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43376-7
    Medium: Buch
    58,84 € (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
    ISBN: 978-3-031-17110-9
    Medium: Buch
    96,29 € (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

    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52849-4
    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