demostrador

Mira otros diccionarios:

• demostrador — |ô| adj. s. m. Que ou aquele que demonstra. = DEMONSTRADOR   ‣ Etimologia: latim demonstrator, oris …   Dicionário da Língua Portuguesa

• demostrador — ► 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 …   Enciclopedia Universal

• Demostrador 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… …   Wikipedia Español

• Demostrador 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… …   Enciclopedia Universal

• demostrador — de|mos|tra|dor Mot Agut Adjectiu variable …   Diccionari Català-Català

• ACL2 — 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… …   Wikipedia Español

• Demostració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 …   Wikipedia Español

• Aviones 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… …   Wikipedia Español

• Avión furtivo — Avión de ataque furtivo F 117 Nighthawk …   Wikipedia Español

• IP (clase de complejidad) — Este artículo trata sobre el concepto en complejidad computacional. Para otros usos de este término, véase IP. Un sistema de demostración interactivo (IP) es un concepto en teoría de la complejidad computacional que modela cómputos como el… …   Wikipedia Español