Showing 181 - 200 results of 1,266 for search '"Logic."', query time: 0.05s Refine Results
  1. 181
    The Unknown as an Engine for Science An Essay on the Definite and the Indefinite /
    by Pirner, Hans J.
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic....”
    Get full text
    eBook
  2. 182
    Problems and Proofs in Numbers and Algebra
    Subjects: “...Mathematical logic....”
    Get full text
    eBook
  3. 183
    Recent Developments in the Philosophy of Science: EPSA13 Helsinki
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic....”
    Get full text
    eBook
  4. 184
    ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
    by Henson, Martin
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  5. 185
    Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.
    by Krishnamurthi, Shriram
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  6. 186
    B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
    by Julliand, Jacques
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  7. 187
    Concrete Semantics With Isabelle/HOL /
    by Nipkow, Tobias, Klein, Gerwin
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  8. 188
    Heuristic Strategies in the Speeches of Cicero
    by Tahin, Gábor
    Published in Springer eBooks (2014)
    Subjects: “...logic....”
    Get full text
    eBook
  9. 189
    Pell and Pell–Lucas Numbers with Applications
    by Koshy, Thomas
    Published in Springer eBooks (2014)
    Subjects: “...Logic, Symbolic and mathematical....”
    Get full text
    eBook
  10. 190
    Adaptive Logics for Defeasible Reasoning Applications in Argumentation, Normative Reasoning and Default Reasoning /
    by Straßer, Christian
    Published in Springer eBooks (2014)
    Subjects: “...logic....”
    Get full text
    eBook
  11. 191
    Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings /
    by Choi, Lynn
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  12. 192
    Neural-Symbolic Cognitive Reasoning
    by Gabbay, Dov M.
    Published in Springer eBooks (2009)
    Subjects: “...logic...”
    Get full text
    eBook
  13. 193
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  14. 194
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
    Published in Springer eBooks (2015)
    Subjects: “...Computer logic....”
    Get full text
    eBook
  15. 195
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings /
    by Azémard, Nadine
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  16. 196
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers /
    by Hutchison, David
    Published in Springer eBooks (2009)
    Subjects: “...Logic design...”
    Get full text
    eBook
  17. 197
    Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2009)
    Subjects: “...Logic design...”
    Get full text
    eBook
  18. 198
    High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings
    by Conte, Tom
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  19. 199
    Valued Fields
    by Engler, Antonio J.
    Published in Springer e-books (2005)
    Subjects: “...Logic, Symbolic and mathematical...”
    Get full text
    eBook
  20. 200
    Uncertainty, Rationality, and Agency
    by Hoek, Wiebe
    Published in Springer e-books (2006)
    Subjects: “...logic...”
    Get full text
    eBook
Search Tools: Get RSS Feed