Durchsuche "Logic" (Zeige 961 - 980 von 2416 Ergebnissen)
Mereology and the Sciences
Parts and Wholes in the Contemporary Scientific Context- Format: reflowable eBook
- €149.79 EURPreis inkl. MwSt.
Verified Software: Theories, Tools and Experiments
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers- Format: reflowable eBook
- €50.28 EURPreis 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 EURPreis inkl. MwSt.
Information Technology in Bio- and Medical Informatics
7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings- Format: reflowable eBook
- €53.49 EURPreis inkl. MwSt.
Algebraic Informatics
6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings- Format: Fest
- €50.28 EURPreis inkl. MwSt.
Inductive Logic Programming
26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers- Format: reflowable eBook
- €53.49 EURPreis inkl. MwSt.
Referential Opacity and Modal Logic
- Auflage: 1st
- Format: reflowable eBook
- €26.48 - €48.14 EURPreis inkl. MwSt.
Concrete Semantics
With Isabelle/HOL- Format: Fest
- €53.49 EURPreis 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 EURPreis inkl. MwSt.
Implementation and Application of Automata
20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings- Format: reflowable eBook
- €53.49 EURPreis inkl. MwSt.
Combinatorial Algorithms
24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected Papers- Format: Fest
- €53.49 EURPreis inkl. MwSt.
Unconventional Computation and Natural Computation
15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings- Format: reflowable eBook
- €53.49 EURPreis inkl. MwSt.
Erdös Centennial
- Format: Fest
- €171.19 EURPreis inkl. MwSt.
Artificial Intelligence
16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings- Format: reflowable eBook
- €53.49 EURPreis 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 EURPreis 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- Format: reflowable eBook
- €106.99 EURPreis 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 EURPreis inkl. MwSt.
A Mathematical Introduction to Logic
- Auflage: 2nd
- Format: Fest
- €87.69 EURPreis 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 EURPreis inkl. MwSt.
Logic, Rationality, and Interaction
6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings- Format: reflowable eBook
- €53.49 EURPreis inkl. MwSt.