QuietThud
Please help establish the Logic StackExchange! Sign your name to push us into beta. =)
Also, check out the Systems Science Stack Exchange proposal!
Learning Mathematica and Prolog for logic programming. (Ubuntu 12.04LTS)
-
New York, United States
-
Member for 8 years, 4 months
-
2 profile views
-
Last seen Nov 24 '12 at 22:30
Communities (24)
Top network posts
- 14 Light syntax parser for Mathematica?
- 9 What is the armpit hair for?
- 7 Mathematica If-then vs. Implies
- 7 Defining the material conditional in Prolog
- 6 Writing ontologies in DL syntax?
- 6 Can applicable skills be gained through dreaming?
- 5 Anyone encounter these Logic symbols?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.
Badges (3)
Gold
—
Silver
1
Rarest
-
Nov 13 '19
Bronze
2
Rarest
-
Nov 16 '12
-
Nov 10 '12