Search Results - Meyer, John-Jules Ch. 1954-

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

    Epistemic logic for AI and computer science
    by Meyer, John-Jules Ch. 1954-, Hoek, Wiebe van der

    Published 1995
    Book


    Saved in:
  2. 2
    Cover Image

    Order and metric in the stream semantics of element concurrency
    by Bakker, Jacobus W. de 1939-2012, Meyer, John-Jules Ch. 1954-

    Published 1986
    Order via interlibrary loan
    Book


    Saved in:
  3. 3
    Cover Image

    Metric semantics for concurrency
    by Bakker, Jacobus W. de 1939-2012, Meyer, John-Jules Ch. 1954-

    Published 1988
    Order via interlibrary loan
    Book


    Saved in:
  4. 4
    Cover Image

    Correctness of programs with function procedures
    by Bakker, Jacobus W. de 1939-2012, Klop, Jan Willem 1945-, Meyer, John-Jules Ch. 1954-

    Published 1981
    Order via interlibrary loan
    Book


    Saved in:
  5. 5
    Cover Image

    Infinite streams and finite observations in the semantics of uniform concurrency
    by Bakker, Jacobus W. de 1939-2012, Meyer, John-Jules Ch. 1954-, Olderog, Ernst-Rüdiger 1955-

    Published 1985
    Order via interlibrary loan
    Book


    Saved in:
  6. 6
    Cover Image

    Infinite streams and finite observations in the semantics of uniform concurrency
    by Bakker, Jacobus W. de 1939-2012, Meyer, John-Jules Ch. 1954-, Olderog, Ernst-Rüdiger 1955-

    Published 1985
    Order via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

    On specifying sets of integers
    by Bergstra, Jan A. 1951-, Meyer, John-Jules Ch. 1954-

    Published 1983
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

    On infinite computations in denotational semantics
    by Bakker, Jacobus W. de 1939-2012, Meyer, John-Jules Ch. 1954-, Zucker, Jeffrey I.

    Published 1982
    Order via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

    Intelligent technologies for interactive entertainment: 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28-30, 2016 : revised selected papers

    Published 2017
    Other Authors: “…Meyer, John-Jules Ch. 1954-…”
    Read online (LMU)

    Available at the library of LMU.

    Read online (HM)

    Available at the library of Hochschule Munich University of Applied Sciences (HM).

    Order via interlibrary loan
    Electronic Conference Proceedings eBook


    Saved in:

Search Tools: