ALISA

swMATH3031MaRDI QIDQ15565

No author found.

Described by source

• Automatic Deductive Synthesis of Lisp Programs in the System ALISA

Related Items (4)

\textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} ⋮ An approach to automatic deductive synthesis of functional programs ⋮ Synthesis of sorting algorithms using multisets in \textit{Theorema} ⋮ Decentralized Grid Scheduling Using Genetic Algorithms

This page was built for software: ALISA