Browsing “Logic” (Showing 981 - 1000 of 2290 results)
-
Trustworthy Global Computing
9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers- Format: Fixed
-
R243.42 - R811.26 ZARPrice includes VAT
-
Logics in Artificial Intelligence
14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings- Format: Fixed
-
R481.98 - R1,606.61 ZARPrice includes VAT
-
Where is the Gödel-point hiding: Gentzen’s Consistency Pr...
- Format: Reflowable
-
R340.79 - R1,135.82 ZARPrice includes VAT
-
Transactions on Rough Sets VIII
- Edition: 1st
- Format: Fixed
-
R676.72 - R2,255.74 ZARPrice includes VAT
-
Formal Methods and Software Engineering
18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings- Format: Reflowable
-
R413.83 - R1,379.24 ZARPrice includes VAT
-
Cylindric Algebras
- Format: Fixed
-
R1,183.86 ZARPrice includes VAT
-
Intelligent Computer Mathematics
9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings- Format: Reflowable
-
R243.42 - R811.26 ZARPrice includes VAT
-
Logic for Programming, Artificial Intelligence, and Reaso...
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings- Format: Reflowable
-
R481.98 - R1,606.61 ZARPrice includes VAT
-
Software Language Engineering
5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers- Format: Fixed
-
R433.30 - R1,444.32 ZARPrice includes VAT
-
Grenzen der Mathematik
Eine Reise durch die Kerngebiete der mathematischen Logik- Edition: 3rd
- Format: Fixed
-
R146.05 - R486.69 ZARPrice includes VAT
-
Software Engineering and Formal Methods
SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers- Format: Reflowable
-
R389.48 - R1,298.10 ZARPrice includes VAT
-
Programming Languages
20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings- Format: Reflowable
-
R292.11 - R973.53 ZARPrice includes VAT
-
Static Analysis
23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings- Format: Reflowable
-
R433.30 - R1,444.32 ZARPrice includes VAT
-
Interactive Theorem Proving
6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings- Format: Reflowable
-
R389.48 - R1,298.10 ZARPrice includes VAT
-
Combinatorics on Words
10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings- Format: Reflowable
-
R340.79 - R1,135.82 ZARPrice includes VAT
-
Software, Services, and Systems
Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering- Format: Fixed
-
R481.98 - R1,606.61 ZARPrice includes VAT
-
Petr Hájek on Mathematical Fuzzy Logic
- Format: Reflowable
-
R579.35 - R1,931.17 ZARPrice includes VAT
-
Transactions on Rough Sets XV
- Edition: 1st
- Format: Fixed
-
R433.30 - R1,444.32 ZARPrice includes VAT
-
Runtime Verification
19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings- Format: Reflowable
-
R389.48 - R1,298.10 ZARPrice includes VAT
-
Logics of Specification Languages
- Format: Fixed
-
R1,163.57 - R3,878.57 ZARPrice includes VAT