eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plPrawoGrupypl.soc.prawoLogika w prawie › Re: Logika w prawie
  • Path: news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
    From: Krzysiek <m...@g...pl>
    Newsgroups: pl.soc.prawo
    Subject: Re: Logika w prawie
    Date: Mon, 10 Oct 2005 20:39:59 +0200
    Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
    Lines: 22
    Message-ID: <dieci4$7gp$1@inews.gazeta.pl>
    References: <di9c1q$j44$1@inews.gazeta.pl>
    NNTP-Posting-Host: terminal-3-13.retsat1.com.pl
    Mime-Version: 1.0
    Content-Type: text/plain; charset=ISO-8859-2; format=flowed
    Content-Transfer-Encoding: 8bit
    X-Trace: inews.gazeta.pl 1128969604 7705 195.26.22.13 (10 Oct 2005 18:40:04 GMT)
    X-Complaints-To: u...@a...pl
    NNTP-Posting-Date: Mon, 10 Oct 2005 18:40:04 +0000 (UTC)
    In-Reply-To: <di9c1q$j44$1@inews.gazeta.pl>
    X-Accept-Language: pl, en-us, en
    X-User: molecki
    User-Agent: Mozilla Thunderbird 1.0.7 (Windows/20050923)
    Xref: news-archive.icm.edu.pl pl.soc.prawo:333834
    [ ukryj nagłówki ]

    Maciej (pl) napisał(a):
    > Hej,
    > czy ktoś z Was spotkał sie z programem wspierającym
    > wnioskowanie w logice w celu ustalenia prawdy tudzież nieprawdy zeznającego
    > ?
    >
    > Głośne było użycie przez krakowską prokuraturę programu do wyszukiwania
    > powiązań w związku ze sprawą ks. ds. PKN Orlen - czegoś podobnego poszukuję.
    >
    > I jeszcze kwestia, czy ktoś z grupowiczów byłby zainteresowany takim
    > oprogramowaniem - byłbym wówczas zainteresowany Waszymi oczekiwaniami co do
    > takiego oprogramowania.
    >
    >
    > pozdrawiam
    > Maciek
    >
    >
    Hmmm... a w Prologu nie da sie tego zrobic? :>

    Pozdrawiam
    K.

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1