Edinburgh Research Explorer

Centre for Intelligent Systems and their Applications

Organisational unit: Research Institute

  1. 1970
  2. Multi-access facilities in a single stream batch processing system

    Atkinson, M., Lister, A. M. & Colin, A. J. T., 1970, In : Computer Bulletin. 14, 3

    Research output: Contribution to journalArticle

  3. 1974
  4. Interacting goals in problem solving

    Tate, A., Nov 1974, AISB Newsletter, 18, p. 31-38 8 p.

    Research output: Contribution to specialist publicationArticle

  5. INTERPLAN: a Plan Generation System Which Can Deal With Interactions Between Goals

    Tate, A., Dec 1974, University of Edinburgh Department of Machine Intelligence and Perception. 56 p. (Series: MIP-R- ; no. 109)

    Research output: Book/ReportBook

  6. 1975
  7. Interacting Goals and their Use

    Tate, A., Sep 1975, Proceedings of the Fourth International Joint Conference on Artificial Intelligence (IJCAI-75) . p. 215-218 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. 1976
  9. An overview of the project: Planning: a joint AI/OR approach

    Tate, A. & Daniel, L., Jul 1976, 5 p.

    Research output: Working paper

  10. 1977
  11. Generating Project Networks

    Tate, A., 1977. 6 p.

    Research output: Contribution to conferencePaper

  12. 1978
  13. Automorphisms of finitely generated nilpotent groups

    Webb, U. H. M., 1978

    Research output: ThesisDoctoral Thesis

  14. 1979
  15. MECHO: A program to solve mechanics problems

    Bundy, A., Byrd, L., Luger, G., Mellish, C., Milne, R. & Palmer, M., 1979, Department of Artificial Intelligence, University of Edinburgh.

    Research output: Book/ReportBook

  16. 1980
  17. Outer Automorphisms of Some Finitely Generated Nilpotent Groups I

    Webb, U. H. M., 1980, In : Journal of the London Mathematical Society. s2-21, 2, p. 216-224 9 p.

    Research output: Contribution to journalArticle

  18. An elementary proof of Gaschütz' theorem

    Webb, U. H. M., 1 Dec 1980, In : Archiv der Mathematik. 35, 1, p. 23-26 4 p.

    Research output: Contribution to journalArticle

Previous 1 2 3 4 5 6 7 8 ...127 Next