Computer Science
Meta user
Network profile
221
reputation
2
5

Trung Ta

Apparently, this user prefers to keep an air of mystery about them.

1
answer
2
questions
~692
people reached

Communities (17)

Top network posts

Top tags (7)

Score 7
Posts 2
Posts % 67
Score 7
Posts 1
Score 7
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (3) 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

Badges (7)

Gold

—

Silver

2

Rarest

Bronze

5

Rarest