Computer Science
Trung Ta's user avatar
Trung Ta's user avatar
Trung Ta's user avatar
Trung Ta
  • Member for 8 years, 1 month
  • Last seen more than 2 years 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
34
Approximately equivalent symbol?
31
How to customize FoxitReader shortcut keys
22
Prove that there exists a number divisible by 1999 with digit sum 1999
10
What are the possible arguments can be passed to the option of -Xclang of the Clang compiler?
9
Writing a parser for a DSL in OCaml using ppx and extension point

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.