| Shelfclass_id | 4.B.5 |
| Sortkey | RULIFSON, JOHNS FREDERICK |
| Authors | Johns Frederick Rulifson |
| Title | QA4: A Procedural Calculus for Intuitive Reasoning |
| Publisher | Stanford University |
| Year | 1972 |
| Languages | eng |
| Record date | 20080612 |
| Location | Stanford |
| Notes | A Dissertation |