<--- Back to Details
First PageDocument Content
Lisp programming language / Functional languages / Computer algebra systems / Lisp / Reduce / Genera / Franz Lisp / Common Lisp / Computing / Computer programming / Software engineering
Date: 2008-12-30 11:26:20
Lisp programming language
Functional languages
Computer algebra systems
Lisp
Reduce
Genera
Franz Lisp
Common Lisp
Computing
Computer programming
Software engineering

Add to Reading List

Source URL: www.reduce-algebra.com

Download Document from Source Website

File Size: 39,61 KB

Share Document on Facebook

Similar Documents

Electronic engineering / Electromagnetism / Electronics manufacturing / Electronics / Soldering / Printed circuit board / Surface-mount technology / Dual in-line package / Electrical connector / Wave soldering / Solder / D-subminiature

Peel-A-Way® Removable Terminal Carriers www.advanced.com Peel-A-Way® Removable Terminal Carriers reduce PCB assembly costs

DocID: 1xVwZ - View Document

Criminal law / Law / Crime / Criminology / Probation / Misdemeanor / Felony / Prohibition of drugs / Sexual assault / Recidivism / United States federal probation and supervised release / Expungement in the United States

Statewide Issue for the November 6, 2018 General Election BALLOT LANGUAGE Issue 1 To Reduce Penalties for Crimes of Obtaining, Possessing, and

DocID: 1xVsA - View Document

Thin clients / Computing / Centralized computing / System software / Teradici / Virtual desktop / Laptop / VDIworks / Leostream

The ideal virtual and cloud endpoint PCoIP Zero Clients ® Radically simplify desktop maintenance and reduce TCO

DocID: 1xUTm - View Document

Property tax / Income tax in the United States / Tax

November 6, 2018 – General Election Issues State Issues Issue 1 – To Reduce Penalties for Crimes of Obtaining, Possessing, and Using Illegal Drugs (Proposed Constitutional Amendment)

DocID: 1xUxF - View Document

Theoretical computer science / Formal methods / Logic in computer science / Software engineering / Proof assistants / Automated theorem proving / Formal verification / Interactive Theorem Proving / Isabelle / Coq / HOL / Correctness

Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper) Ramana Kumar1 , Eric Mullen2 , Zachary Tatlock2 , and Magnus O. Myreen3 1

DocID: 1xUhq - View Document