Showing 41 - 60 results of 237 for search '', query time: 1.01s Refine Results
  1. 41
    Formal Methods - Fun for Everybody : First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers /
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  2. 42
    Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  3. 43
    Functional and Constraint Logic Programming : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  4. 44
    The Semantic Web : 18th International Conference, ESWC 2021, Virtual Event, June 6-10, 2021, Proceedings /
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  5. 45
    Relational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings /
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  6. 46
    R-CALCULUS: A Logic of Belief Revision /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  7. 47
    Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings /
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  8. 48
    Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings /
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  9. 49
    Reasoning Web. Declarative Artificial Intelligence : 17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures /
    Published 2022

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  10. 50
    Reverse Mathematics : Problems, Reductions, and Proofs /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  11. 51
    Handbook of Computability and Complexity in Analysis /
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  12. 52
    Advances in Information Retrieval : 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 - April 1, 2021, Proceedings, Part I /
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  13. 53
    R-Calculus, II: Many-Valued Logics /
    by Li, Wei, Li, Wei, Li, Wei, Li, Wei, Sui, Yuefei
    Published 2022

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  14. 54
    Theoremus : A Student's Guide to Mathematical Proofs /
    by Cruz, Lito Perez, Cruz, Lito Perez
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  15. 55
    Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  16. 56
    Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers /
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  17. 57
    Sets, models and proofs /
    by Moerdijk, Ieke, Oosten, Jaap van
    Published 2018

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  18. 58
    Bound states of the magnetic Schrödinger operator /
    by Raymond, Nicolas, Raymond, Nicolas
    Published 2017

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  19. 59
    Mathematics in Computing : An Accessible Guide to Historical, Foundational and Application Contexts /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  20. 60
    Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering : AMINSE 2017, Tbilisi, Georgia, December 6-9 /
    Published 2019

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
Search Tools: Get RSS Feed — Email this Search