The Computer Journal, Volume 38, 1995

Volume 38, Number 1, 1995

Volume 38, Number 2, 1995

Higher Order Logic Theorem Proving and its Applications

Volume 38, Number 3, 1995

Volume 38, Number 4, 1995

Volume 38, Number 5, 1995

History

Volume 38, Number 6, 1995

Volume 38, Number 7, 1995

Process Algebra and Performance Modelling

Volume 38, Number 8, 1995

Volume 38, Number 9, 1995

Volume 38, Number 10, 1995

History