Využitie poznatkov z dôkazu prostredníctvom indukcie pre automatickú syntézu programov

Bibliographic Details
Main Author:	Zboray, František (Author)
Format:	Article
Language:	Slovak
Subjects:	programy počítačové syntéza automatická dôkazy induktívne články z novín a časopisov

Similar Items