Computer Science
user avatar
user avatar
user avatar
Trung Ta
  • Member for 6 years, 9 months
  • Last seen more than 1 year 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
Score Newest
answer
7
Introductory book on Logic and Computation
Mar 27, 2016
question
5
Why do presenttations of proof systems in logic and automated reasoning not include the algorithm that finds proofs?
Mar 27, 2016
question
0
What is the name of this code transformation that uses associativity of addition?
Oct 27, 2015
Top network posts
View all network posts
32
Approximately equivalent symbol?
30
How to customize FoxitReader shortcut keys
22
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.