Főoldal Kiadványaink E-szótárak Érdekességek Kapcsolat

Angol-magyar informatikai szótár

keresés
címszavak proof of program proof of termination proof rule proof system proof-obligation propagate propagate function propagated symbol propagation	találatok (1db) 0.11mp proof-obligation bizonyítandó

Ez a szótár az Angol-magyar informatikai szótár című könyv elektronikus változata.

topszotar.hu

Játékok

TINTA Könyvkiadó

Sudoku

A Tinta Könyvkiadó működését 2022. évben a Magyar Kultúráért Alapítvány támogatta.

Madách Imre születésének 200. évfordulója alkalmából Az ember tragédiájának az enciklopédiája című könyv megjelentetése szakmai program megvalósítását 2023. évben a

támogatta.

A magyar nyelv szerkezetének és szókincsének újszerű bemutatása szakmai program megvalósítását 2021. évben a

támogatta.

Adatkezelési tájékoztató