Showing 281 - 300 results of 1,266 for search '"Logic."', query time: 0.05s Refine Results
  1. 281
    Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  2. 282
    Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  3. 283
    Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  4. 284
    Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  5. 285
    Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  6. 286
    Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  7. 287
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  8. 288
    Artificial General Intelligence
    by Goertzel, Ben
    Published in Springer e-books (2007)
    Subjects: “...logic...”
    Get full text
    eBook
  9. 289
    Information, Interaction and Agency
    by Hoek, Wiebe
    Published in Springer e-books (2005)
    Subjects: “...logic...”
    Get full text
    eBook
  10. 290
    The Unity of Science in the Arabic Tradition Science, Logic, Epistemology and their Interactions /
    by Rahman, Shahid
    Published in Springer eBooks (2008)
    Subjects: “...logic...”
    Get full text
    eBook
  11. 291
    German Idealism and the Problem of Knowledge: Kant, Fichte, Schelling, and Hegel
    by Limnatis, Nectarios G.
    Published in Springer eBooks (2009)
    Subjects: “...logic...”
    Get full text
    eBook
  12. 292
    Methods of legal reasoning
    by Stelmach, Jerzy
    Published in Springer e-books (2006)
    Subjects: “...logic...”
    Get full text
    eBook
  13. 293
    A Cp-theory problem book special features of function spaces
    by Tkachuk, Vladimir V.
    Published in Springer eBooks (2014)
    Subjects: “...Logic, Symbolic and mathematical....”
    Get full text
    eBook
  14. 294
    Constructive Commutative Algebra Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases /
    by Yengui, Ihsen
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic....”
    Get full text
    eBook
  15. 295
    Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra /
    Subjects: “...Mathematical logic....”
    Get full text
    eBook
  16. 296
    Polynomial Theory of Error Correcting Codes
    by Cancellieri, Giovanni
    Published in Springer eBooks (2015)
    Subjects: “...Arithmetic and logic units, Computer....”
    Get full text
    eBook
  17. 297
    Reflections on Theoretical Issues in Argumentation Theory
    Published in Springer eBooks (2015)
    Subjects: “...logic....”
    Get full text
    eBook
  18. 298
    Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers /
    by Holub, Jan
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  19. 299
    Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
    by Kohlenbach, Ulrich
    Published in Springer eBooks (2008)
    Subjects: “...Logic, Symbolic and mathematical...”
    Get full text
    eBook
  20. 300
    Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings /
    by Durand-Lose, Jérôme
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
Search Tools: Get RSS Feed