demostrador
101Yakovlev Yak-1000 — Tipo Avión experimental Fabricante Yakovlev Diseñado …
102Yakovlev Yak-36 — Yak 36 Tipo Caza VSTOL Fabricante Yakovlev Primer …
103LCF — es un demostrador de teoremas interactivo desarrollado en la Universidad de Edimburgo y la Universidad de Stanford por Robin Milner y otros. LCF introdujo el lenguaje de programación ML para permitir al usuario escribir tácticas de demostración.… …
104Arthur Harden — Sir Arthur Harden (n. Manchester, 12 de octubre de 1865 † Bourne End, Buckinghamshire, 17 de junio de 1940). Bioquímico inglés. Fue educado en una escuela privada y en el Tettenhall College, Staffordshire. Entró en el Owens College de la… …
105demostrar — (Del lat. demonstrare.) ► verbo transitivo 1 Ser una cosa indicio de otra: ■ las pruebas demuestran su culpabilidad. SE CONJUGA COMO contar SINÓNIMO indiciar señalar 2 Hacer patente la verdad de una cosa: ■ demostró la teoría con pruebas irrefut …
106verificador — sustantivo masculino comprobador, examinador, revisor. Tratándose, generalmente, de un aparato. * * * Sinónimos: ■ comprobador, inspector, examinador, demostrador, investigador …
