PTT數位生活區 / Programming

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

看板Programming作者loteslogin (張三立)時間13年前 (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: [問題] 可以做"數學自動證明"的程式語言?

13年前, 04/01

0

1

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

13年前, 03/30

1

1

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

13年前, 03/27

1

3

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

13年前, 03/27

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

Programming 近期熱門文章

4

83

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

[ Programming ]

7月前, 02/15

3

12

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

[ Programming ]

7月前, 02/12

1

14

[請益] windows安裝vllm問題

[ Programming ]

7月前, 01/31

2

25

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

[ Programming ]

8月前, 01/19

5

27

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

[ Programming ]

8月前, 01/13

1

4

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

[ Programming ]

9月前, 11/25

3

16

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

[ Programming ]

10月前, 11/08

3

16

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

[ Programming ]

1年前, 08/25

更多近期熱門文章 >>

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

7

21

[問題] iphone17 轉移資料失敗

1小時前, 09/20

6

13

[問題] 錢包Suica出現錯誤

2小時前, 09/20

6

10

Re: [請益] Zettlab AI NAS 可以買嗎?

[ PC_Shopping ]

2小時前, 09/20

8

21

[問題] 想找單純導航用的手機

3小時前, 09/20

15

28

[問題] 美版iphone 14 pro更新ios26問題

3小時前, 09/20

13

23

[心得] 中華電信 1399 iPhone 17

4小時前, 09/20

38

89

[心得] iPhone 17 Pro橘簡單開箱

4小時前, 09/20

3

10

[討論] iphone 17 pro 皮革手機殼

5小時前, 09/20

更多即時熱門文章 >>

‣ 返回看板[ Programming ] 程設

‣ 更多 loteslogin 的文章

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