Search Results - Li, Wei 1943-

  • Showing 1 – 14 results of 14
Filter by
  1. 1
    Cover Image

    Mathematical logic: foundations for information science
    by Li, Wei 1943-

    Published 2014
    Read online
    Table of Contents
    Electronic eBook


    Saved in:
  2. 2
    Cover Image

    An operational semantics of tasking and exception handling in Ada
    by Li, Wei 1943-

    Published 1982
    Book


    Saved in:
  3. 3
    Cover Image

    Mathematical logic: foundations for information science
    by Li, Wei 1943-

    Published 2010
    Table of Contents
    Book


    Saved in:
  4. 4
    Cover Image

    An operational approach to semantics and translation for concurrent programming languages
    by Li, Wei 1943-

    Published 1983
    Book


    Saved in:
  5. 5
    Cover Image

    A syntax-directed approach for implementing the rendezvous mechanism in Ada
    by Li, Wei 1943-

    Published 1984
    Book


    Saved in:
  6. 6
    Cover Image

    Mathematical Logic: foundations for information science
    by Li, Wei 1943-

    Published 2010

    Read online (HM)
    Available at the library of Hochschule Munich University of Applied Sciences (HM).
    Electronic eBook


    Saved in:
  7. 7
    Cover Image

    R-calculus, IV: propositional logic
    by Li, Wei 1943-, Sui, Yuefei

    Published 2023
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

    R-calculus: a logic of belief revision
    by Li, Wei 1943-, Sui, Yuefei

    Published 2021
    Order via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

    Mathematical logic: foundations for information science
    by Li, Wei 1943-

    Published 2010
    Electronic eBook


    Saved in:
  10. 10
    Cover Image

    R-calculus
    by Li, Wei 1943-, Sui, Yuefei

    Published 2021
    Order via interlibrary loan
    Serial


    Saved in:
  11. 11
    Cover Image

    R-calculus, II: many-valued logics
    by Li, Wei 1943-, Sui, Yuefei

    Published 2022
    Order via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

    R-calculus, III: post three-valued logic
    by Li, Wei 1943-, Sui, Yuefei

    Published 2022
    Order via interlibrary loan
    Book


    Saved in:
  13. 13
    Cover Image

    Mathematical logic: foundations for information science
    by Li, Wei 1943-

    Published 2014
    Table of Contents
    Book


    Saved in:
  14. 14
    Cover Image

    Proceedings of the 6th Conference on Sound and Music Technology (CSMT): revised selected papers

    Published 2019
    Other Authors: “…Li, Wei 1943-…”
    Conference Proceedings Book


    Saved in:

Search Tools: