metoda axiomatică formalizare mașini de calcul logica automatelor logică matematică

Subiect Tematic:	metoda axiomatică formalizare mașini de calcul logica automatelor logică matematică

LDR	00151nx j2200049
001	128572
250	$a metoda axiomatică formalizare mașini de calcul logica automatelor logică matematică
901	$a a $b a

Lucrări: 1 lucrari in 1 publicatii in 1 limbi

1 records Page 1 of 1

Studii de logică matematică de: Wang, Hao (Text tipărit)

Subiecte