Durchsuche "Logic" (Zeige 961 - 980 von 2416 Ergebnissen)

Themen

  • Mereology and the Sciences

    Parts and Wholes in the Contemporary Scientific Context
    • Format: reflowable eBook
    • €149.79 EUR
      Preis inkl. MwSt.
  • Verified Software: Theories, Tools and Experiments

    6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
    von Author
    • Format: reflowable eBook
    • €50.28 EUR
      Preis inkl. MwSt.
  • Leveraging Applications of Formal Methods, Verification a...

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Information Technology in Bio- and Medical Informatics

    7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings
    von Author
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Algebraic Informatics

    6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
    • Format: Fest
    • €50.28 EUR
      Preis inkl. MwSt.
  • Inductive Logic Programming

    26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
    von Author
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Referential Opacity and Modal Logic

    von Dagfinn Follesdal
    • Auflage: 1st
    • Format: reflowable eBook
    • €26.48 - €48.14 EUR
      Preis inkl. MwSt.
  • Concrete Semantics

    With Isabelle/HOL
    von Tobias Nipkow; Gerwin Klein
    • Format: Fest
    • €53.49 EUR
      Preis inkl. MwSt.
  • Logic-Based Program Synthesis and Transformation

    22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
    • Format: Fest
    • €48.14 EUR
      Preis inkl. MwSt.
  • Implementation and Application of Automata

    20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Combinatorial Algorithms

    24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected Papers
    • Format: Fest
    • €53.49 EUR
      Preis inkl. MwSt.
  • Unconventional Computation and Natural Computation

    15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Erdös Centennial

    von Author
    • Format: Fest
    • €171.19 EUR
      Preis inkl. MwSt.
  • Artificial Intelligence

    16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings
    von Author
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Trends in Artificial Intelligence: PRICAI 2016 Workshops

    PeHealth 2016, I3A 2016, AIED 2016, AI4T 2016, IWEC 2016, and RSAI 2016, Phuket, Thailand, August 22-23, 2016, Revised Selected Papers
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Information Processing and Management of Uncertainty in K...

    17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I
    von Author
    • Format: reflowable eBook
    • €106.99 EUR
      Preis inkl. MwSt.
  • Logical Aspects of Computational Linguistics. Celebrating...

    9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • A Mathematical Introduction to Logic

    von Enderton, Herbert; Enderton, Herbert B.
    • Auflage: 2nd
    • Format: Fest
    • €87.69 EUR
      Preis inkl. MwSt.
  • Current Trends in Web Engineering

    ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
  • Logic, Rationality, and Interaction

    6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
    von Author
    • Format: reflowable eBook
    • €53.49 EUR
      Preis inkl. MwSt.
Page links