Computer Science
Profile Activity
Network profile
121
reputation
5

ScientiaEtVeritas

Master Student of Computer Science at the Karlsruhe Institute of Technology

0
answers
2
questions
~405
people reached
  • Karlsruhe
  • ScientiaEtVeritas
  • Member for 2 years, 7 months
  • 1 profile view
  • Last seen Feb 26 '19 at 2:08

Communities (18)

Top network posts

Top tags (6)

Score 0
Posts 1
Posts % 50
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (2)

All Questions Answers
Votes Newest
1 LTL to Büchi automaton, deterministic? Feb 25 '19
0 Why and how geometric series are used for proofs? Jan 16 '18

Badges (5)

Gold

—

Silver

—

Bronze

5

Rarest