About this scholarly article

Proceedings of the 1988 ACM sixteenth annual conference on Computer science - CSC '88 - Implementing first order logic in Modula-2 using an intuitionistic approach by Li, Wei is a scholarly article available to read on EtoBox.

Author

Li, Wei

Publisher

ACM Press

Published

1988

Language

EN