scientific article; zbMATH DE number 1178950
From MaRDI portal
Publication:4398769
zbMATH Open0909.68025MaRDI QIDQ4398769FDOQ4398769
Authors: Harold Abelson, Gerald Jay Sussman, Julie Sussman 
Publication date: 26 July 1998
Title of this publication is not available (Why is that?)
Recommendations
General topics in the theory of software (68N01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Artificial intelligence (68T99)
Cited In (23)
- When errors become the rule: twenty years with transformation-based learning
- Title not available (Why is that?)
- Title not available (Why is that?)
- A pragmatic approach to reuse in tactical theorem proving
- Unified selection from lists, arrays, and objects.
- Title not available (Why is that?)
- A computational interpretation of conceptivism
- Varieties of agents in agent-based computational economics: a historical and an interdisciplinary perspective
- Models of quantum computation and quantum programming languages
- Vacua of \(\omega\)-deformed SO(8) supergravity
- RelaxNet: a structure-preserving neural network to approximate the Boltzmann collision operator
- Revised\(^{6}\) report on the algorithmic language scheme
- How downwards causation occurs in digital computers
- Title not available (Why is that?)
- Modularity in mathematics
- Interactive programming in Agda -- objects and graphical user interfaces
- PSEUDO: applications of streams and lazy evaluation to integrable models
- Struktur und Interpretation von Computerprogrammen
- Sorting algorithms in \textsc{MOQA}
- The never-ending recursion
- Tree dimension in verification of constrained Horn clauses
- Heterogeneously parameterized tube model predictive control for LPV systems
- A variadic extension of Curry's fixed-point combinator
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4398769)
