Web Analytics
DICTIONARY
TTS Voice
 virtual keyboard

English Russian Modern Computing Dictionary








Phrases with prover found: 1  


English-Russian Modern Computing dictionary
   automatic theorem prover
  программа автоматического доказательства теорем, программа для автоматического доказательства теорем