Computer Science
Trung Ta
  • Member for 6 years, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
221
reputation
1k
reached
1
answer
2
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
2
silver badges
5
bronze badges
Top tags
View all tags
7
Score
2
Posts
67
Posts %
7
Score
1
Posts
33
Posts %
7
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Votes Newest
7
Introductory book on Logic and Computation
Mar 27 '16
5
Why do presenttations of proof systems in logic and automated reasoning not include the algorithm that finds proofs?
Mar 27 '16
0
What is the name of this code transformation that uses associativity of addition?
Oct 27 '15
Top network posts
View all network posts
31
Approximately equivalent symbol?
30
How to customize FoxitReader shortcut keys
21
Prove that there exists a number divisible by 1999 with digit sum 1999
9
Writing a parser for a DSL in OCaml using ppx and extension point
8
Write pretty multilevel nested if-then-else code in OCaml?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.