Showing 241 - 260 results of 2,051 for search 'interpretability logic', query time: 0.19s Refine Results
  1. 241
    Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /
    Published 2008
    Table of Contents: “… -- Verification, Least-Fixpoint Checking, Abstraction -- Combining Tests and Proofs -- Logics -- Propositional…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 242
    Pattern Calculus Computing with Functions and Structures /
    by Jay, Barry
    Published 2009
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 243
    Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
    Published 2017
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 244
    Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Assistants: A View from the Trenches -- Proof Pearls -- A Certified Denotational Abstract Interpreter…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 245
    Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings /
    Published 2011
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 246
    Instruction Sequences for Computer Science
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 247
    Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /
    Published 2010
    Table of Contents: “…Towards Scalable Partial Evaluation of Declarative Programs -- Deciding Full Branching Time Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 248
    Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
    by Schreye, Danny
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  9. 249
    Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  10. 250
    Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
    by Dix, JΓΌrgen
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  11. 251
    Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
    by FermΓΌller, Christian G
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  12. 252
    Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings /
    Published 2019
    Table of Contents: “…, probabilistic and propositional logic -- Description logics -- Logic programming -- Modal and default logic…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 253
    Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers /
    Published 2019
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 254
    Logic: the question of truth /
    by Heidegger, Martin, 1889-1976
    Published 2016
    Table of Contents: “… -- The interpretation of time in the Transcendental Analytic -- The function of time in the Transcendental Logic ; A…”
    Book
  15. 255
    Formal Methods: State of the Art and New Directions
    Published 2010
    Table of Contents: “… Ate My Vote -- Formal Methods for Biochemical Signalling Pathways -- Separation Logic and Concurrency…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 256
    Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
    Published 2015
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 257
    Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
    Published 2015
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 258
    Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /
    Published 2015
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 259
    Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /
    Published 2016
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 260
    Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings /
    Published 2016
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search