Showing 241 - 260 results of 1,266 for search '"Logic."', query time: 0.05s Refine Results
  1. 241
    Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  2. 242
    Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  3. 243
    Programming Sudoku
    by Lee, Wei-Meng
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages...”
    Get full text
    eBook
  4. 244
    The Journal of symbolic logic (Online).
    Subjects: “...Logic, Symbolic and mathematical Periodicals....”
    View and search back issues via the JSTOR web site
    Journal
  5. 245
    Formal Languages and Compilation
    Subjects: “...Mathematical Logic and Formal Languages....”
    Get full text
    eBook
  6. 246
    Argumentative Indicators in Discourse A Pragma-Dialectical Study /
    by Eemeren, Frans H.
    Published in Springer e-books (2007)
    Subjects: “...logic...”
    Get full text
    eBook
  7. 247
    Visualization, Explanation and Reasoning Styles in Mathematics
    by Mancosu, Paolo
    Published in Springer e-books (2005)
    Subjects: “...Logic, Symbolic and mathematical...”
    Get full text
    eBook
  8. 248
    Inconsistency Tolerance
    by Bertossi, Leopoldo
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  9. 249
    The Dynamics of Thought
    by Gärdenfors, Peter
    Published in Springer e-books (2005)
    Subjects: “...logic...”
    Get full text
    eBook
  10. 250
    Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /
    by Chang, Kai-hui
    Published in Springer eBooks (2009)
    Subjects: “...Logic design...”
    Get full text
    eBook
  11. 251
    Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic....”
    Get full text
    eBook
  12. 252
    Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  13. 253
    Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  14. 254
    CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  15. 255
    Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  16. 256
    Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  17. 257
    Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  18. 258
    Recent Progress in General Topology III
    Published in Springer eBooks (2014)
    Subjects: “...Logic, Symbolic and mathematical....”
    Get full text
    eBook
  19. 259
    Linguistic Expressions and Semantic Processing A Practical Approach /
    by Butler, Alastair
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic....”
    Get full text
    eBook
  20. 260
    Heuristic Reasoning
    Published in Springer eBooks (2015)
    Subjects: “...logic....”
    Get full text
    eBook
Search Tools: Get RSS Feed