Fer
FERFT es para un analizador espectral de potencia multiusos basado en el método sucesivo de transformación de Fourier. ...
 | AletaFlipper es un programa que realiza una búsqueda local aleatorizada de satisfacción de 3 oraciones de pronexas variables. |
| Descargar ahora | |
Aleta Clasificación y resumen
Anuncio publicitario
- Licencia:
- GPL
- Precio:
- FREE
- Nombre del editor:
- Andr Rognes
- Sitio web del editor:
- http://flipper.berlios.de/
Aleta Etiquetas
Aleta Descripción
Flipper es un programa que realiza una búsqueda local aleatorizada de satisfacción de 3 oraciones de pronexas variables. Flipper es un programa que realiza una búsqueda local aleatorizada de satisfacción de 3 oraciones de pronexas variables en el cálculo de predicado puro. Lo hace probando la satisfacción con respecto a las teorías decidibles determinadas. Requisements: · Head · Bash · Make · GCC · GNU-PrologWhat's NUEVO en esta versión: · Nuevo formato para tablas. · Estrategia de búsqueda experimental que explota las oraciones de la unidad y la bocina.
Aleta Software relacionado
labtimer
Labtimer es un conjunto de temporizador adecuado para el procesamiento de películas en blanco y negro. ...
Proyecto URBI
URBI: Interfaz del cuerpo robótico universal. Urbi es un idioma de comando con guión utilizado para controlar robots (AIBO, PIONEAD, ...). ...