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
PhysicalDescription:	Lit. 10 zázn. v nem., angl.
Subjects:	programy počítačové syntéza automatická dôkazy induktívne články z novín a časopisov

Description
Physical Description:	Lit. 10 zázn. v nem., angl.

Similar Items