A preliminary excursion into step-logics

TitleA preliminary excursion into step-logics
Publication TypeConference Papers
Year of Publication1986
AuthorsDrapkin J, Perlis D
Conference NameProceedings of the ACM SIGART international symposium on Methodologies for intelligent systems -
Date Published1986///
Conference LocationKnoxville, Tennessee, United States
URLhttp://dl.acm.org/citation.cfm?id=12837
DOI10.1145/12808.12837