Ahoj,

On May 12, 2014 1:00 PM, "Michal Tuláček" <michal@tulacek.eu> wrote:
>
> nenahradi

chces tym povedat, ze sa uvazovanie pravnikov neda formalizovat trebars predikatovou logikou prveho (pripadne vyssieho) radu? znamena to azda, ze ich uvazovanie sa vymyka akemukolvek logickemu systemu? :)

hmm.. zaujimave, dalsi dovod preco ich nahradit ...

-pB

>
>
>
> a jinak me to take zajima :) jsem na tom trochu hur s casem, ale snad to vyjde
>
> -mt
>
>
> 2014-05-12 12:14 GMT+02:00 franta polach <franta.polach@gmail.com>:
>
>> Ahoj,
>>
>> mohl bych ve stredu nebo ve ctvrtek vecer. Me taky velice zajima to, co delas...
>>
>> *F
>>
>> 2014-05-12 12:10 GMT+02:00 Petr Baudis <pasky@ucw.cz>:
>> > Ahoj,
>> >
>> > On Mon, May 12, 2014 at 08:30:38AM +0200, franta polach wrote:
>> >> poslednich par mesicu jsem pracoval na strojove analyze americkych
>> >> patentu, cilem je nahradit vetsinu prace patentovych pravniku. Rad vam
>> >> o tom povim vic tento tyden. Zde je nejake info: www.ipselex.com .
>> >
>> > to zni vyborne, kdy se chces v brmlabu ukazat? Moc rad bych si o tom
>> > neco poslechl, zajimavosti s patenty je jedna z aplikaci, o ktere
>> > premyslim pro svuj projekt http://brmlab.cz/project/brmson
>> >
>> > Petr "Pasky" Baudis
>> > _______________________________________________
>> > Brmlab mailing list
>> > Brmlab@brmlab.cz
>> > http://brmlab.cz/cgi-bin/mailman/listinfo/brmlab
>> _______________________________________________
>> Brmlab mailing list
>> Brmlab@brmlab.cz
>> http://brmlab.cz/cgi-bin/mailman/listinfo/brmlab
>
>
>
> _______________________________________________
> Brmlab mailing list
> Brmlab@brmlab.cz
> http://brmlab.cz/cgi-bin/mailman/listinfo/brmlab
>