Index of /jucs_10_12/tuning_sat_for_formal

	Name	Last modified	Size	Description
	Parent Directory		-
	Velev_M_N.pdf	2006-11-02 11:56	22K
	abstract.ps.gzip	2006-11-02 11:56	19K
	managing.html	2021-09-19 02:15	24K
	jucs_10_12/	2021-09-19 17:41	-