ETPS

ETPS

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.

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article ETPS de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • 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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”