More Articles
Journal Papers
عنوان | DOI | نوع |
---|---|---|
اثبات قضيه در منطق هاي زماني با كمك رايانه و كاربر | # | Journal |
مروري بر نظريه اثبات | # | Journal |
عنوان | DOI | نوع |
---|---|---|
اثبات قضيه در منطق هاي زماني با كمك رايانه و كاربر | # | Journal |
مروري بر نظريه اثبات | # | Journal |