ETPS (1986) est un assistant de preuve basé sur le démonstrateur TPS (Theorem Proving System), et est utilisé par les étudiants, afin qu'ils puissent prouver des théorèmes interactivement.
Wikimedia Foundation. 2010.
Contenu soumis à la licence CC-BY-SA. Source : Article ETPS de Wikipédia en français (auteurs)
ETPS — Electro Therapeutic Point Stimulation (Medical » Physiology) … Abbreviations dictionary
ETPS — abbr. Empire Test Pilots School … Dictionary of abbreviations
Empire Test Pilots' School — The Empire Test Pilots School (ETPS) is a training establishment based at MOD Boscombe Down in Wiltshire, England. ETPS is run as a partnership between the UK MOD and defence contractor QinetiQ, under a long term partnering agreement. HistoryIn… … Wikipedia
Gold as an investment — Reserves of SDR, forex and gold in 2006 … Wikipedia
ETF Securities — Type Private, Employee owned Industry Investment management Number of locations Jersey, London, United Kingdom, Tokyo, Japan, New York, USA Products Exchange traded funds, Commodities, FX … Wikipedia
Networked European Software and Services Initiative — The Networked European Software and Services Initiative, NESSI, is a European Technology Platform on Software Architectures and Services Infrastructures.A European Technology Platform (ETP) is a private public partnership involving industry and… … Wikipedia
Test Flight and Development Centre SAAF — The Test Flight and Development Centre is a unit of the South African Air Force. It is currently a test flight and evaluation centre.HistoryDue to South Africa s apartheid policies of the time, a number of countries instituted an arms boycott… … Wikipedia
Short SB5 — infobox Aircraft name = SB/5 type = experimental aircraft manufacturer = Short Brothers caption = designer = first flight = 2 December 1952 introduced = retired = 1967, after a student at the Empire Test Pilot School inadvertently jettisoned the… … Wikipedia
Rotary Wing Test Squadron — (RWTS) is a tri service UK military organisation based at [http://www.raf.mod.uk/structure/boscombedown.cfm MOD Boscombe Down] , Wiltshire. Primarily, the squadron is responsible for test and evaluation of rotary wing aircraft and equipment, or… … Wikipedia
European Technology Platform — A European Technology Platform (ETP) is a European network bringing together researchers, industry and other relevant stakeholders in a particular technological field in order to foster European research and development in the concerned area. The … Wikipedia
