Computer-human interaction in symbolic computationde D. S. ScottMateriasHuman-computer interactionComputer graphicsAlgorithmsComputer scienceSoftware engineeringAlgebraData processingCombinatorial analysisComputer softwareHuman factors
Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977 (Lecture Notes in Mathematics)
Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977 (Lecture Notes in Mathematics)
