PTT數位生活區 / Programming

Re: [問題] 可以做"數學自動證明"的程式語言?

看板Programming作者loteslogin (張三立)時間14年前 (2012/03/30 21:27)推噓0(0推 0噓 1→)

留言1則, 1人參與討論串3/4 (看更多)

感覺很多狀況是表達的問題。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 84.19.165.214

→

03/30 22:07, , 1^F

03/30 22:07, 1^F

‣ 返回看板[ Programming ] 程設

‣ 更多 loteslogin 的文章

文章代碼(AID): #1FTRJGvq (Programming)

討論串 (同標題文章)

完整討論串 (本文為第 3 之 4 篇)：

排序：最新先 | 最舊先 | 留言數

1

3

Re: [問題] 可以做"數學自動證明"的程式語言?

14年前, 04/01

0

1

Re: [問題] 可以做"數學自動證明"的程式語言?

14年前, 03/30

1

1

Re: [問題] 可以做"數學自動證明"的程式語言?

14年前, 03/27

1

3

[問題] 可以做"數學自動證明"的程式語言?

14年前, 03/27

在新視窗開啟完整討論串 (共4篇)

Programming 近期熱門文章

4

108

Re: [心得] 程式寫作初入手用什麼

[ Programming ]

1年前, 02/15

3

25

[問題] QB畫圖的相對位置step

[ Programming ]

1年前, 02/12

1

17

[請益] windows安裝vllm問題

[ Programming ]

1年前, 01/31

2

40

[心得] 程式寫作初入手用什麼

[ Programming ]

1年前, 01/19

5

27

[問題] C在linked list中assign node的問題？

[ Programming ]

1年前, 01/13

2

5

[問題] 教我寫一個簡單安卓app

[ Programming ]

1年前, 11/25

3

16

[討論] 發票的抽獎大家很關心，程式問題？

[ Programming ]

1年前, 11/08

3

16

[問題]請問大家有用chatgpt除錯python嗎

[ Programming ]

1年前, 08/25

更多近期熱門文章 >>

PTT數位生活區即時熱門文章

3

9

[問題] 關於出國Esim實體卡

28分鐘前, 05/11

10

37

[討論] 手機跟電腦傳大檔案方案討論(2G或更大)

2小時前, 05/11

3

7

[問題] 小米平板 mini 價格終於小降

3小時前, 05/11

-4

18

[賣//] Lenovo G470 經典文書筆電（i5處理器/4GB

[ HardwareSale ]

3小時前, 05/11

33

89

[心得] 十詮mp33送修蟹化了

[ PC_Shopping ]

16小時前, 05/10

14

45

Re: [麥書] macbook neo是否滿足使用需求

16小時前, 05/10

26

65

[討論] OPPO X9 Ultra 台灣正式公開發表會

18小時前, 05/10

18

24

[心得] 三星note 10 lite 六年退役心得

18小時前, 05/10

更多即時熱門文章 >>

‣ 返回看板[ Programming ] 程設

‣ 更多 loteslogin 的文章

文章代碼(AID): #1FTRJGvq (Programming)