Search Results - "Burstall, Rod"

  • Showing 1 - 4 results of 4
Refine Results
  1. 1

    The logical structure of modular semantic theories of software systems.

    Authors: Angius, Nicola Stefaneas, Petros

    Source: Metaphilosophy; Jul2024, Vol. 55 Issue 3, p440-456, 17p

    HTML Full Text PDF Full Text
    Save to List
  2. 2

    The worker/wrapper transformation.

    Authors: ANDY GILL GRAHAM HUTTON

    Source: Journal of Functional Programming. Mar2009, Vol. 19 Issue 2, p227-251. 25p.

    PDF Full Text
    Save to List
  3. 3

    Die Suche Nach Künstlicher Intelligenz : Eine Geschichte Von Ideen Und Erfolgen

    Authors: Nils J. Nilsson

    Resource Type: eBook.

    Subjects: Artificial intelligence--Philosophy, Artificial intelligence--History

    Categories: COMPUTERS / Artificial Intelligence / General

    PDF Full Text
    Save to List
  4. 4

    Mechanizing Proof : Computing, Risk, and Trust

    Authors: Donald Mackenzie

    Resource Type: eBook.

    Subjects: Computer systems--Reliability, Computers and civilization

    Categories: SOCIAL SCIENCE / Sociology / General

    PDF Full Text
    Save to List

Search Tools: