The following pages link to LISP (Q19253):
Displaying 50 items.
- (Q3021914) (← links)
- (Q3046724) (← links)
- Architectures and monitoring techniques for active databases: An evaluation (Q3122530) (← links)
- Calendrical Calculations (Q3130582) (← links)
- (Q3153941) (← links)
- PARALLEL MATRIX MULTIPLICATION ON THE CONNECTION MACHINE (Q3212192) (← links)
- Recursive functions of symbolic expressions and their computation by machine, Part I (Q3283220) (← links)
- Revised6 Report on the Algorithmic Language Scheme (Q3401233) (← links)
- (Q3490927) (← links)
- (Q3490989) (← links)
- Computing Environments for Data Analysis III: Programming Environments (Q3493354) (← links)
- An ACL2 Tutorial (Q3543644) (← links)
- ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System (Q3637272) (← links)
- (Q3804237) (← links)
- Elements with embedded localization zones for large deformation problems (Q3820129) (← links)
- Explicit and implicit solution of the Navier-Stokes equations on a massively parallel computer (Q3821778) (← links)
- (Q3999500) (← links)
- (Q4002498) (← links)
- (Q4003187) (← links)
- (Q4038678) (← links)
- (Q4222943) (← links)
- A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7<sup>™</sup> Processor (Q4230664) (← links)
- (Q4312463) (← links)
- (Q4319802) (← links)
- The Impact of the Lambda Calculus in Logic and Computer Science (Q4359526) (← links)
- (Q4364534) (← links)
- More haste, less speed: lazy versus eager evaluation (Q4376490) (← links)
- (Q4417790) (← links)
- (Q4433988) (← links)
- (Q4445766) (← links)
- (Q4471942) (← links)
- (Q4474052) (← links)
- (Q4490730) (← links)
- (Q4492907) (← links)
- (Q4518889) (← links)
- PROMOT: A Modeling Tool for Chemical Processes (Q4525226) (← links)
- Essential Maple 7 (Q4530244) (← links)
- The Mathematical-Function Computation Handbook (Q4600847) (← links)
- (Q4692504) (← links)
- (Q4692548) (← links)
- (Q4704241) (← links)
- Baby Modula-3 and a theory of objects (Q4764620) (← links)
- Logic programming in the context of multiparadigm programming: the Oz experience (Q4819002) (← links)
- (Q4843092) (← links)
- Formal basis for the refinement of rule based transition systems (Q4895556) (← links)
- (Q4936328) (← links)
- (Q4945804) (← links)
- How to evaluate the performance of gradual type systems (Q4972071) (← links)
- On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention (Q5187821) (← links)
- (Q5386123) (← links)
