کتابخانه دیجیتال دانشگاه مهرالبرز: Browsing HannanDL

مرور بر اساس تاریخ انتشار TABLEAUX (Conference) ; (26th : ; 2017 : ; Braselia, Brazil) ;

Showing results 1 to 1 of 1

Preview	Issue Date	Title	Contributor(s)
	2017	Automated reasoning with analytic tableaux and related methods :	*TABLEAUX (Conference) ; (26th : ; 2017 : ; Braselia, Brazil) ;; Schmidt, Renate A., ; editor ;; Nalon, Cleeudia, ; editor ;*

Showing results 1 to 1 of 1