P. A. J. Noel

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1993

1 P. A. J. Noel: Experimenting with Isabelle in ZF Set Theory. J. Autom. Reasoning 10(1): 15-58 (1993)