Stack Exchange
sign up | log in | chat | meta | about | faq

Computer Science beta
  • Questions
  • Tags
  • Tour
  • Users
  • Ask Question

FELIPE N.

less info
stack exchange network profile network profile
40 reputation
3
bio website
location
age
visits member for 9 months
seen Feb 3 at 15:12
stats profile views 7

40 reputation
 bio website visits member for 9 months
3 badges
 location seen Feb 3 at 15:12
summary answers questions tags badges favorites bounties reputation activity

2 Questions

votes activity newest
5
 Introduction into first order logic verification
2
 MGU and Variable Standardization - CNF

40 Reputation

+10 MGU and Variable Standardization - CNF
+25 Introduction into first order logic verification

0 Answers

votes activity newest
This user has not answered any questions

8 Tags

0
logic × 2
0
formal-methods
0
knowledge-representation
0
sat-solvers
0
first-order-logic
0
reference-request
0
artificial-intelligence
0
software-verification

2 Accounts

Computer Science Stack Exchange Computer Science 40 rep 3
Stack Overflow Stack Overflow 1 rep

3 Badges

recent class name
 Scholar  Student
 Supporter

0 Active bounties

active offered earned
This user has no active bounties

2 Votes Cast

all time   by type  
2 up 0 question
0 down 2 answer
user feed
about faq badges blog chat data legal privacy policy jobs advertising info mobile contact us feedback
Technology Life / Arts Culture / Recreation Science Other
  1. Stack Overflow
  2. Server Fault
  3. Super User
  4. Web Applications
  5. Ask Ubuntu
  6. Webmasters
  7. Game Development
  8. TeX - LaTeX
  1. Programmers
  2. Unix & Linux
  3. Ask Different (Apple)
  4. WordPress Answers
  5. Geographic Information Systems
  6. Electrical Engineering
  7. Android Enthusiasts
  8. IT Security
  1. Database Administrators
  2. Drupal Answers
  3. SharePoint
  4. User Experience
  5. Mathematica
  6. more (14)
  1. Photography
  2. Science Fiction & Fantasy
  3. Seasoned Advice (cooking)
  4. Home Improvement
  5. more (13)
  1. English Language & Usage
  2. Skeptics
  3. Mi Yodeya (Judaism)
  4. Travel
  5. Arqade (gaming)
  6. Bicycles
  7. Role-playing Games
  8. more (22)
  1. Mathematics
  2. Cross Validated (stats)
  3. Theoretical Computer Science
  4. Physics
  5. more (7)
  1. Stack Apps
  2. Meta Stack Overflow
  3. Area 51
  4. Stack Overflow Careers
site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required
rev 2013.5.17.690