demostrador
1demostrador — |ô| adj. s. m. Que ou aquele que demonstra. = DEMONSTRADOR ‣ Etimologia: latim demonstrator, oris …
2demostrador — demostrador, ra (Del lat. demonstrātor, ōris). adj. Que demuestra. U. t. c. s.) …
3demostrador — ► adjetivo/ sustantivo Que demuestra: ■ con un demostrador gesto de rechazo les hizo saber su opinión. * * * demostrador, a adj. y n. Que demuestra. * * * demostrador, ra. (Del lat. demonstrātor, ōris). adj. Que demuestra. U. t. c. s …
4Demostrador de teoremas Isabelle — Saltar a navegación, búsqueda El demostrador interactivo de teoremas Isabelle es una herramienta de ayuda a la demostración de teoremas escrita en el lenguaje de programación ML y desarrollada por Larry Paulson de la Universidad de Cambridge y… …
5Demostrador de teoremas Isabelle — El demostrador interactivo de teoremas Isabelle es una herramienta, de ayuda a la demostración de teoremas escrita en el lenguaje de programación ML y desarrollada por Larry Paulson de la Universidad de Cambridge y Tobias Nipkow del Technische… …
6demostrador — de|mos|tra|dor Mot Agut Adjectiu variable …
7ACL2 — es, a la vez, un lenguaje de programación, una lógica matemática para especificar y demostrar formalmente propiedades de los programas escritos en dicho lenguaje, y un demostrador automático de teoremas que asiste al usuario en dicha tarea. ACL2… …
8Demostración automática de teoremas — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. La demostración automática de teoremas (de siglas ATP, por el término en inglés …
9Aviones X — Bell X 1. Los aviones X (en inglés: X planes) son una serie de aeronaves experimentales estadounidenses (y algunos cohetes) usados para probar nuevas tecnologías y normalmente mantenidos en estricto secreto durante su desarrollo. El primero de… …
10Avión furtivo — Avión de ataque furtivo F 117 Nighthawk …