Re: Sensacyjne wyniki do?wiadcze?

Article View: pl.comp.lang.funkcyjne

Article #703

Back to pl.comp.lang.funkcyjne Previous Next

#703

From: Adam Przybyla
Date: Wed, 27 Jul 2005 06:03

14 lines
2105 bytes

Piotr Wyderski <wyderskiREMOVE@ii.uni.wroc.pl> wrote:
> Sebastian wrote:
> 
>> Iii tam. Oni wszyscy muszą się gniedździć w sci do spółki z historykami,
>> psychologami, biologami itd. A my mamy całą hierarchię comp :)
> 
> Hierarchia comp (a przynajmniej jej polskie wydanie) jest bliska informatyce
> stosowanej. A gdzie można porozmawiać np. o złożoności czasowejna maszynach
> niedeterministycznych, alternatywnych sformułowaniach modeli obliczeń albo
> automatycznej weryfikacji? Nie mamy odpowiednika grup comp.theory, sci.crypt
> itp. :-(
	... coz, dojda z czasem;-) Ale nic na sile, bo taka np. grupa poswiecona
jezykom funkcyjnym swieci pustkami;-) Z powazaniem
								Adam Przybyla

Technical Details

Message-ID: <dc783e$bl4$1@nemesis.news.tpi.pl>

Path:

mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!newsfeed.atman.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail

References:

<db8hr1$jri$1@atlantis.news.tpi.pl>   <dc0n2j$fr8$1@atlantis.news.tpi.pl> <dc0pg6$jas$1@srv.cyf-kr.edu.pl> <slrnde7rde.c1s.kakaz@localhost.localdomain> <dc0s45$k88$1@srv.cyf-kr.edu.pl> <slrndea458.um.kakaz@localhost.localdomain> <dc35aj$pa2$1@nemesis.news.tpi.pl> <slrndea8r6.um.kakaz@localhost.localdomain> <dc3dfk$kp2$1@nemesis.news.tpi.pl> <slrndeagun.um.kakaz@localhost.localdomain> <dc3hlb$o5v$1@news.dialog.net.pl> <dc6e48$2ii$1@nemesis.news.tpi.pl> <dc6jai$tqk$1@news.dialog.net.pl>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!newsfeed.atman.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail
From: Adam Przybyla <adam@gliwice.pl>
Newsgroups: pl.sci.kosmos,pl.comp.lang.funkcyjne
Subject: Re: Sensacyjne wyniki do?wiadcze?
Date: Wed, 27 Jul 2005 06:03:26 +0000 (UTC)
Organization: tp.internet - http://www.tpi.pl/
Lines: 14
Sender: Adam Przybyla <adam@gormenghast.ertel.com.pl>
Message-ID: <dc783e$bl4$1@nemesis.news.tpi.pl>
References: <db8hr1$jri$1@atlantis.news.tpi.pl>   <dc0n2j$fr8$1@atlantis.news.tpi.pl> <dc0pg6$jas$1@srv.cyf-kr.edu.pl> <slrnde7rde.c1s.kakaz@localhost.localdomain> <dc0s45$k88$1@srv.cyf-kr.edu.pl> <slrndea458.um.kakaz@localhost.localdomain> <dc35aj$pa2$1@nemesis.news.tpi.pl> <slrndea8r6.um.kakaz@localhost.localdomain> <dc3dfk$kp2$1@nemesis.news.tpi.pl> <slrndeagun.um.kakaz@localhost.localdomain> <dc3hlb$o5v$1@news.dialog.net.pl> <dc6e48$2ii$1@nemesis.news.tpi.pl> <dc6jai$tqk$1@news.dialog.net.pl>
NNTP-Posting-Host: gormenghast.ertel.com.pl
Mime-Version: 1.0
X-Trace: nemesis.news.tpi.pl 1122444206 11940 195.116.54.244 (27 Jul 2005 06:03:26 GMT)
X-Complaints-To: usenet@tpi.pl
NNTP-Posting-Date: Wed, 27 Jul 2005 06:03:26 +0000 (UTC)
User-Agent: tin/1.6.2-20030910 ("Pabbay") (UNIX) (Linux/2.4.22-1.2199.nptl (i686))
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message