demostrador

  • 1demostrador — |ô| adj. s. m. Que ou aquele que demonstra. = DEMONSTRADOR   ‣ Etimologia: latim demonstrator, oris …

    Dicionário da Língua Portuguesa

  • 2demostrador — demostrador, ra (Del lat. demonstrātor, ōris). adj. Que demuestra. U. t. c. s.) …

    Diccionario de la lengua española

  • 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 …

    Enciclopedia Universal

  • 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… …

    Wikipedia Español

  • 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… …

    Enciclopedia Universal

  • 6demostrador — de|mos|tra|dor Mot Agut Adjectiu variable …

    Diccionari Català-Català

  • 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… …

    Wikipedia Español

  • 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 …

    Wikipedia Español

  • 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… …

    Wikipedia Español

  • 10Avión furtivo — Avión de ataque furtivo F 117 Nighthawk …

    Wikipedia Español