Toggle navigation
compgroups
groups
users
stream
search
browse
post
contact
comp.theory
5139 articles.
1 followers.
Post
Follow
(0.026 seconds)
Articles (5137)
/257
Next>>
Last >|
Penrose's positronic brain
0
4257
(
12/24/2016 4:56:03 PM
)
X
Call for Papers Reminder (extended): International MultiConference of Engineers and Computer Scientists (IMECS 2017)
0
556
(
12/15/2016 12:36:29 PM
)
iaeng_imecs_wce_wcec
[WI 2017] Call For Papers
0
662
(
12/14/2016 12:04:14 AM
)
qut
CFP: Workshop on Cloud-Next Generation, co-located with Eurosys 2017 - CloudNG2017
0
596
(
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
562
(
12/12/2016 8:39:11 AM
)
Ho
Alex Allain on the halting problem
2
680
(
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
584
(
11/16/2016 2:31:34 AM
)
NAND
Fixed point lemma vs. recursion theorem
0
620
(
11/15/2016 9:42:41 PM
)
X
taxpayers money
0
613
(
11/9/2016 7:32:36 PM
)
X
Time to tell the truth, Barack Obama.
0
625
(
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
599
(
10/22/2016 6:53:40 AM
)
meInvent
Building an Algorithm to Break Strong Encryption
1
598
(
10/17/2016 6:22:28 PM
)
Vincent
Is the number guessing problem NP?
1
649
(
10/16/2016 5:32:41 PM
)
aytasato
Decomposing the Liar Paradox into its Semantic Atoms
0
553
(
10/16/2016 3:30:00 AM
)
peteolcott
Formalizing the logical (self-reference) error of the Liar Paradox (v11)
3
577
(
10/8/2016 7:06:00 PM
)
peteolcott
LCCOMP news 03.10.2016
0
624
(
10/3/2016 2:20:49 PM
)
genarojm
Big data Tutorials #2
0
635
(
9/27/2016 11:23:09 AM
)
vasuinfo1100