Computer Science
Meta user
Network profile
196
reputation
1
4

Trung Ta

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

1
answer
2
questions
~642
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 (5)

Gold

—

Silver

1

Rarest

Bronze

4

Rarest