首頁/電腦及週邊製造代理/[外包]设计一个关于定理证明器的解析器

[外包]设计一个关于定理证明器的解析器

詢價日期:2013/06/26 11:16

已截止報價

詢價需求

具体需求在附件里面希望能详细阅读

概括之就是设计一个前端一个用户界面用户能在里面输入JAVA代码然后通过解析器将java代码转换成isabelle定理证明器的代码通过接口与定理证明器链接自动证明出定理总共有12个公式所以解析器只要能满足这12个公式里的语言转换即可。
具体看附件需求

詢價單位-聯絡資料: 公司名稱：關OO位OO; 詢價者：jOOcOOlOO8O; TEL：02-7706****; eMail：***760064@qq.com; LINE id：******

本單關鍵字：#程式開發#系統整合#系統開發#軟體開發#電腦

看更多-系統整合需求 >>

電子,電腦,電子零件,電子零組件,自動控制,對講機,自動化,連接器,變壓器,LED,半導體,系統整合,其他電子,控制,電子器材,電源供應器,零組件,其他設備,其他裝置,自動化設備,

https://063585230.tw66.com.tw凱虹企業

三菱、普羅菲司、歐姆龍、IDEC、士林電機、台達、北爾、威輪等相關自動控制產品販售、維修

您的刷卡金額為:

確認無誤請點選下方【刷卡】鍵

系統會主動另開視窗，進入網路安全交易機制的加密刷卡頁，並引導付費。

*為維護您的權益，請勿重複刷卡，作業完成前也請勿關閉本視窗