Publication | Closed Access
Architecture of the Symbolics 3600
88
Citations
1
References
1985
Year
Symbolic ManipulationSymbolics 3600EngineeringData ScienceAutomated ReasoningAlert PreferencesFormal MethodsSymbolic ComputationCitation AnalysisComputer ScienceMoon SymbolicsFormal VerificationSymbolic Execution
article Free Access Share on Architecture of the Symbolics 3600 Author: David A. Moon Symbolics, Inc. Symbolics, Inc.View Profile Authors Info & Claims ACM SIGARCH Computer Architecture NewsVolume 13Issue 3June 1985 pp 76–83https://doi.org/10.1145/327070.327133Published:01 June 1985Publication History 72citation1,174DownloadsMetricsTotal Citations72Total Downloads1,174Last 12 Months148Last 6 weeks17 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
| Year | Citations | |
|---|---|---|
Page 1
Page 1