Toggle navigation
compgroups
groups
users
stream
search
browse
post
contact
comp.theory
5139 articles.
1 followers.
Post
Follow
(0.014 seconds)
Articles (5137)
/257
Next>>
Last >|
Penrose's positronic brain
0
4199
(
12/24/2016 4:56:03 PM
)
X
Call for Papers Reminder (extended): International MultiConference of Engineers and Computer Scientists (IMECS 2017)
0
521
(
12/15/2016 12:36:29 PM
)
iaeng_imecs_wce_wcec
[WI 2017] Call For Papers
0
623
(
12/14/2016 12:04:14 AM
)
qut
CFP: Workshop on Cloud-Next Generation, co-located with Eurosys 2017 - CloudNG2017
0
563
(
12/13/2016 9:41:56 AM
)
lebriag
are there python code examples and their graph to show the effect of using process algebra or not with parallel programming and async reserved word
0
523
(
12/12/2016 8:39:11 AM
)
Ho
Alex Allain on the halting problem
2
649
(
11/20/2016 2:56:36 PM
)
X
Ooh, sure, you just take off your little mask, and show us all who you really are!
1
546
(
11/16/2016 2:31:34 AM
)
NAND
Fixed point lemma vs. recursion theorem
0
580
(
11/15/2016 9:42:41 PM
)
X
taxpayers money
0
574
(
11/9/2016 7:32:36 PM
)
X
Time to tell the truth, Barack Obama.
0
591
(
11/1/2016 10:54:46 AM
)
NAND
How to generate times series data that have some logic law but do not include distributive law?
1
564
(
10/22/2016 6:53:40 AM
)
meInvent
Building an Algorithm to Break Strong Encryption
1
566
(
10/17/2016 6:22:28 PM
)
Vincent
Is the number guessing problem NP?
1
608
(
10/16/2016 5:32:41 PM
)
aytasato
Decomposing the Liar Paradox into its Semantic Atoms
0
521
(
10/16/2016 3:30:00 AM
)
peteolcott
Formalizing the logical (self-reference) error of the Liar Paradox (v11)
3
546
(
10/8/2016 7:06:00 PM
)
peteolcott
LCCOMP news 03.10.2016
0
588
(
10/3/2016 2:20:49 PM
)
genarojm
Big data Tutorials #2
0
599
(
9/27/2016 11:23:09 AM
)
vasuinfo1100