¹èÄ¡ ÇÁ·Î¼¼½º¸¦ ¿Ï·áÇÏ·Á¸é workLOC Workbench À§Ä¡¿Í ¿¬°ü½Ãų TPTP ¹èÄ¡¸¦ ¼³Á¤ÇØ¾ß ÇÕ´Ï´Ù.
¹èÄ¡ ÆíÁý±â¿¡ ´ëÇØ¼´Â ¾Æ·¡ ÂüÁ¶ ÁÖÁ¦¿¡¼ ÀÚ¼¼È÷ ¼³¸íÇÕ´Ï´Ù. ÀÌ ¿¹Á¦¿¡¼´Â ¹èÄ¡¸¦ ÀÛ¼ºÇϰí workLOC Workbench À§Ä¡¿Í ¿¬°ü½ÃŰ´Â µ¥ ÇÊ¿äÇÑ ´Ü°è¸¸ Ç¥½ÃÇÕ´Ï´Ù.
´ÙÀ½°ú °°ÀÌ ÁøÇàÇϽʽÿÀ.ÀÌ °æ¿ì¿¡´Â ¾ÆÆ¼ÆÑÆ®¸¦ Á¦°øÇÏÁö ¾Ê¾Æµµ µË´Ï´Ù.
°ü·Ã °³³ä
¾ÆÆ¼ÆÑÆ® ÆíÁý±â - °³¿ä
¹èÄ¡ ÆíÁý±â - °³¿ä
À§Ä¡ ÆíÁý±â - °³¿ä
°ü·Ã Ÿ½ºÅ©
¾ÆÆ¼ÆÑÆ® ÀÛ¼º
¹èÄ¡ ÀÛ¼º
À§Ä¡ ÀÛ¼º
¾ÆÆ¼ÆÑÆ®-À§Ä¡ ½Ö ÀÛ¼º