A preliminary excursion into step-logics
| Title | A preliminary excursion into step-logics |
| Publication Type | Conference Papers |
| Year of Publication | 1986 |
| Authors | Drapkin J, Perlis D |
| Conference Name | Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems - |
| Date Published | 1986/// |
| Conference Location | Knoxville, Tennessee, United States |
| URL | http://dl.acm.org/citation.cfm?id=12837 |
| DOI | 10.1145/12808.12837 |