u have any problems with the palette, send us an email. ;)
Cheers,
--
Artur Oliveira Gomes
Professor - Sistemas de Informação
Universidade Federal do Mato Grosso do Sul
On 10 May 2013 08:18, Roger Bishop Jones wrote:
> Further to my last, this is what I did before building on Ubuntu 12.04
>
gt; Proofpower mailing list
> Proofpower@lemma-one.com
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
>
>
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
>
> _______
> Proofpower mailing list
> Proofpower@lemma-one.com
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
>
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
that are not very
clever with linux commands.
It just need to execute: sh install-proofpower-ubuntu.sh
and provide the user password for the SUDO command.
Hope it helps.
Best wishes,
--
Artur Oliveira Gomes
install-proofpower-ubuntu.sh
Description: Bourne shell s
of what I am trying to
do.
Best regards,
--
Artur Oliveira Gomes
exemple-19-08-09.doc
Description: MS-Word document
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
Roger,
2009/6/5 Roger Bishop Jones
> On Friday 05 June 2009 08:32:29 Artur Oliveira Gomes wrote:
>
> ...
>
> >Could someone guide me through this please?
>
> The main problem with your proof so far is that
> you have constructed the witness for the existential
> fr
z_E_tac, in the
beginning of the proof.
Could someone guide me through this please?
Cheers,
--
Artur Oliveira Gomes
example-06-05.doc
Description: MS-Word document
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo
ions of SA etc. that can be
> run?
>
Yes, an example is attached here as follows.
Thanks in advance,
--
Artur Oliveira Gomes
example-09-05-18.doc
Description: MS-Word document
___
Proofpower mailing list
Proofpower@lemma-one.com
http://l
e rewriting does not occur due to the parenthesis in the LHS.
Does anyone know what should I do to solve this problem?
Cheers,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
Thanks for the tips.
Regards,
Artur
-- Forwarded message --
From:
Date: 2009/4/14
Subject: Re: [ProofPower] Error when opening ProofPower
To: Artur Oliveira Gomes
Cc: proofpower@lemma-one.com
> Hi there,
>
> A colleague has installed ProofPower in its computer bu
blem, please ask for
more.
Regards,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
hange the goal to:
%SZT%0.1 %leq%%down%R 0.4 %and% 0.4 %leq%%down%R 1.9%>%
How can I prove it?
Thanks again.
Regards,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
Hi there
Now I know how to prove it: using z_R_<=_conv.
Thanks anyway,
Artur
2009/3/25 Artur Oliveira Gomes
> Hi there,
>
> How could I prove that given two real numbers, 20 and 30, that 20 <=40?
> Moreover, given three real numbers, 20, 30 and 40,
> how could I
Hi there,
How could I prove that given two real numbers, 20 and 30, that 20 <=40?
Moreover, given three real numbers, 20, 30 and 40,
how could I prove that 30 20..40.
Regards,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@le
] * raised
Is everything fine?
Artur
2009/3/24 Roger Bishop Jones
> Artur,
>
> On Tuesday 24 March 2009 10:35:51 Artur Oliveira Gomes wrote:
>
> >The problem is: only for those cases,
> >what I choose as witness does not satisfy the predicate.
>
> Well, any sequen
r those cases,
what I choose as witness does not satisfy the predicate.
I sent the file in order to see if someone could find the right
witness for each of the three goals. ;-)
Regards,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma
Hi there,
I'm having hard times to achieve some proofs of preciondition
and initialization using ProofPower.
The file attached contains 3 examples that I still can not prove.
If anyone could help me out with those proofs, I will be thankful.
Best,
--
Artur Oliveira Gomes
example
Thank you, Roger.
Regards,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
to work you would need the signature
>of NewState to be the same as for State.
Is there any other solution for my problem?
Thanks,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/li
%%BH%%BH%%BH%%BH%%BH%
Regards,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
Hi there,
Does somebody knows how to round real numbers
in order to get a Z number using ProofPower?
Regards,
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
also got Poly/ML installed in somehwere
> other
> than the default location.
>
> Regards,
>
> Rob.
>
>
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
It ends with:
ar...@firebird:~/Proofpower/OpenProofPower-2.8.1a10$ cat src/dtd048.ldd
cat: src/dtd048.ldd: No such file or directory
2009/1/23 Rob Arthan
> Artur (& Steven),
>
> On 23 Jan 2009, at 17:23, Artur Oliveira Gomes wrote:
>
> Hi there,
>>
>> Build.l
Proofpower/OpenProofPower-2.8.1a10/src'
make: *** [zed_build] Error 2
Then,
ar...@firebird:~/Proofpower/OpenProofPower-2.8.1a10$ cat src/dtd048.log
cat: src/dtd048.log: No such file or directory
--
Artur Oliveira Gomes
___
Proofpower mailing
inues outputing the same things than before. I have compared the
output
before and after the replacement, it is the same. Looks like that the
replaced
file is not even readed by the script, or, the changes are not enough to fix
the problem.
Regards,
Artur Oliveira Gomes
-> int
> > end
> > val it = () : unit
> > +++ Compiled dtd048.sml: OK (Compilation Run Complete) +++
> > Exception Fail * The database name has not been set [save_and_exit.36010]
> *
> > raised
> >
> > :) End of input to use_terminal. Quit.
>
>
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
_terminal. Quit.
--
Artur Oliveira Gomes
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
ZTypesAndTermsSupport
Exception Fail: Fail "Static errors (pass2)" raised abandoning file
imp048.sml
at line 521
+++ Compiled imp048.sml: Failed (Compilation Run Complete) +++
Artur
2008/12/19 Philip Clayton
> Artur Oliveira Gomes wrote:
>
>> Hi there,
>>
>> I'm try
Hi there,
I'm trying to install the latest of ProofPower 2.8.1a10, but I got some
problems.
The last lines of build.log that I got is:
cat install_holdemo.sh >install_holdemo
chmod a+x install_holdemo
[ -d "/usr/local/pp"/man ] || mkdir "/usr/local/pp"/man
[ -d "/usr/local/pp"/man/man1 ] || m
meopáticas de Ciência da Informação e Software
> Livre - http://cibertecario.wordpress.com
>
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubu
em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
--
Interessado em aprender mais
e EMOTICONS para o
> Messenger! É GRÁTIS!> > http://www.msn.com.br/emoticonpack> > > -- >
> Interessado em aprender mais sobre o Ubuntu em português?>
> http://wiki.ubuntu-br.org/ComeceAqui -> ubuntu-br mailing list>
> ubuntu-br@lists.ubuntu.com>
> https:
em aprender mais sobre o Ubuntu em português?
> > http://wiki.ubuntu-br.org/ComeceAqui -
> > ubuntu-br mailing list
> > ubuntu-br@lists.ubuntu.com
> > https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
> >
>
>
>
> --
> Atenciosamente,
> -
coisas boas!
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
--
Interessado em aprender mais sobre o Ubuntu em português?
http://wiki.ubuntu-br.org/ComeceAqui -
ubuntu-br mailing list
ubuntu-br@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
re o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
--
Interessado em aprender mais sobre o Ubuntu
m/_ylc=X3oDMTJsbmwwcXJyBF9TAzk3NDkwNDM3BF9wAzEEZ3JwSWQDNjg2MzIwNARncnBzcElkAzIxMzcxMTEyOTgEc2VjA25jbW9kBHNsawNtYWlsBHN0aW1lAzEyMTMwMTU2Njk-;_ylg=1/SIG=10ujd6ds6/**http%3A//mail.yahoo.com.br/
> >
> >
> > Proteção anti-spam
> >
> > Muito mais espaço
> >
> > Yahoo!
>
>
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
--
In
hecar a respeito, mas a última versão era para Windows. Como não
> quero saber de Wine...
>
> Salles (Nethell)
>
> Em Qua, 2008-06-04 às 19:48 -0300, Artur Oliveira Gomes escreveu:
> > Só o Banco do Brasil que não pode falar nada de incompatibilidade com o
> > Linux. Afin
algo...
> >
> > Falous!!
> >
>
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
--
Interessado em aprender mais sobre o Ubuntu em português?
http://wiki.ubuntu-br.org/ComeceAqui -
ubuntu-br mailing list
ubuntu-br@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
Até eu que comecei essa discussão toda por outro motivo estou querendo que
isso se acabe.
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
--
Interessado em aprender mais sobre o Ubuntu em português?
http://wiki.ubuntu-br.org/ComeceAqui -
ubuntu-br mailing list
ubuntu-br@lists.ubuntu.com
t;
> >
> > --
> > Interessado em aprender mais sobre o Ubuntu em português?
> > http://wiki.ubuntu-br.org/ComeceAqui -
> > ubuntu-br mailing list
> > ubuntu-br@lists.ubuntu.com
> > https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
> >
>
>
>
> --
> Atenciosamente,
> --
; > -END PGP SIGNATURE-
> >
> >
> >
> > --
> > Interessado em aprender mais sobre o Ubuntu em português?
> > http://wiki.ubuntu-br.org/ComeceAqui -
> > ubuntu-br mailing list
> > ubuntu-br@lists.ubuntu.com
> > https://lists.ubuntu.com/
tuguês?
> > http://wiki.ubuntu-br.org/ComeceAqui -
> > ubuntu-br mailing list
> > ubuntu-br@lists.ubuntu.com
> > https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
> >
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
--
Interessado em aprender mais sobre o Ubuntu em português?
http://wiki.ubuntu-br.org/ComeceAqui -
ubuntu-br mailing list
ubuntu-br@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
OTECTED]>:
> > >
> > > > Pessoas,
> > > >
> > > > Realmente há gosto pra tudo. Criaram até o Ubuntu Satanic
> > > > <http://ubuntusatanic.org/screenshots.php>.
> > > > Além de gosto, há a criatividade também!
> &g
.
Alguém tem idéia do problema?
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
--
Interessado em aprender mais sobre o Ubuntu em português?
http://wiki.ubuntu-br.org/ComeceAqui -
ubuntu-br mailing list
ubuntu-br@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
ailing list
> > ubuntu-br@lists.ubuntu.com
> > https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
> >
>
>
>
> --
> "What he learns we all learn. What he knows we all benefit" Linux, The
> future is Open
>
> Éverton M. Arruda Jr. (Notrev)
> Bac
tu
> > > > > satanic edition no MÁXIMO engraçado! :)
> > > > >
> > > > > 2008/6/2 Robson Fernandes <[EMAIL PROTECTED]>:
> > > > > > Eu curto Black Metal, e achei muitointeressante o link.
> > > > > > Esse é o grande ba
ailing list
> > ubuntu-br@lists.ubuntu.com
> > https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
> >
>
>
>
> --
> Cristiano
> 99917357
>
> "A paz, se possível, mas a verdade, a qualquer preço".
>
> Martinho Lutero
>
> Ubunt
> >>>>>
> >>>>>Há algum hardware/componente que não funciona/reconhecido
> corretamente?
> >>>>>
> >>>>>Especificações em:
> >>>>>
> http://www1.la.dell.com/content/products/productdetails.as
gt;:
>
> > Oi Pessoal,
> >
> > Gostaria de saber se alguém pode me indicar, caso conheça, um servidor
> > de CVS gratuito.
> > Não possuo servidor próprio no ar e estou precisando usar CVS para um
> > projeto da minha graduação.
> >
> > Grato pela informação
> &
t; o antecessor dele
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
Ciências da C
ntu.com/mailman/listinfo/ubuntu-br
>
>
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gom
0:05.19 klauncher
5349 artur 21 0 27172 5652 4016 S0 0.6 0:00.01 kio_file
5328 artur 16 0 26032 4452 2840 S0 0.4 0:00.09 kdeinit
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Suporte ao Cálculo de Refinamentos de Programas Concorrentes
ra Barros
> > > Manaus - Amazonas - Brasil
> > >
> > > Copiar é bom!
> > > Seja Legal
> > > Use Software Livre
> > >
> >
> >
> > --
> >
> >
> > Interessado em aprender mais sobre o Ubuntu em português?
&
me ajudaram.
Caso encerrado ;-)
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Suporte ao Cálculo de Refinamentos de Programas Concorrentes
--
Interessado em aprender mais sobre o Ubuntu em português?
http://wiki.ubuntu-br.org/ComeceAqui -
ubuntu-br mailing list
ubuntu-br@lis
Duh...
Lezeira minha, eu tinha lido o oposto!
Foi mal aew!
2008/4/23 Felipe <[EMAIL PROTECTED]>:
> kra, o som dele tá funcionando agora, não funcionava era antes de ele
> migrar de distro.
>
> Em Qua, 2008-04-23 às 04:47 +0000, Artur Oliveira Gomes escreveu:
> > Rapaz,
&
essado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Suporte ao C
omo um USB Mass Storage
> está
> ótimo.
> Se algum colega tiver uma dica ou sugestão, agradeço.
>
> Abraços a todos,
>
> Salles (Nethell)
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing lis
?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Suporte ao Cálculo de Refinamentos de Programas Concorrentes
--
ome "emerald", que é
> um
> gestor de decoração de janelas usado pelo compiz (não é o único). Instale
> ele e o configurador dele, onde você pode mudar as bordas.
>
> 2008/4/21 Artur Oliveira Gomes <[EMAIL PROTECTED]>:
>
> > Oi Pessoal,
> >
> > Est
bens
>
> Cleonir M. Rakoski
>
>
>
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur O
. Estranho, hein?
Alguém se habilita?
Obrigado e boa semana para todos.
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Suporte ao Cálculo de Refinamentos de Programas Concorrentes
--
Interessado em aprender mais sobre o Ubuntu em português?
http://wiki.ubuntu-br.org/ComeceAqui
Yahoo! Mobile. Try it now.
> http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ
>
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubunt
o...virou noticias fora do pais alguns dias
> atrais
> Ian
> --
> http://ianlawrence.info
>
>
> --
>
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://
; >
>
>
>
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
Ciências da Computaç
de algum fórum, ou
> > algum
> > > tutorial, mas esta minha dúvida parece ser tão especifica que não sei
> se
> > > tem
> > > tal tópico
> >
> >
> > Difícil não ter conseguido nenhuma informação sobre isso antes: se você
> > digitar &qu
lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Suporte ao Cálculo de Refinamentos de Programas Concorrentes
--
Interessado em aprender mais sobre o Ubuntu em português?
http://wiki.ubu
gt;
> > --
> > Interessado em aprender mais sobre o Ubuntu em português?
> > http://wiki.ubuntu-br.org/ComeceAqui -
> > ubuntu-br mailing list
> > ubuntu-br@lists.ubuntu.com
> > https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
> >
>
> --
> In
Opa..
resolvido:
# modprobe ipw3945
Valeu aí!
Artur
Em 19/03/08, Artur Oliveira Gomes <[EMAIL PROTECTED]> escreveu:
>
> Olá Pessoal,
>
> Estou com um probleminha.
>
> Simplesmente, eu instalei o kubuntu no meu notebook, daí, ele reconheceu a
> placa wifi Int
pode me ajudar?
Obrigado e boa páscoa pra todos!
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Suporte ao Cálculo de Refinamentos de Programas Concorrentes
--
Interessado em aprender mais sobre o Ubuntu em português?
http://wiki.ubuntu-br.org/ComeceAqui -
ubuntu-br mailing
> Abs!
>
>
>
> Pessoal, isso de memória compartilhada para placa de vídeo num é ajustada
> na
> bios? Que eu me lembre só lá mesmo, nunca vi esse tipo de ajuste no nível
> do
> SO.
>
>
>
> >
> >
> > 2008/3/11 Artur Oliveira Gomes <[EMAIL PROTECTED]>:
ar rodar o Compiz.
apt-get install compiz
Mas, como eu tô procurando saber como compartilha a memória, é justamente
por que eu achei lento.
Como você fez ???
> Abraços!
> Maudy
>
> 2008/3/7 Artur Oliveira Gomes <[EMAIL PROTECTED]>:
>
>
> > Cara,
> >
> >
eitamente com IP fixo.
>
> Wilson
>
>
> Artur Oliveira Gomes escreveu:
>
> > Wilson,
> >
> > Por favor, cole aqui o resultado do comando "lspci |grep Ethernet"
> >
> > Acho que sua placa é a mesma que a minha.
> >
> > Artur
> >
>
com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Suporte ao Cálculo de Refinamentos de Programas Concorrentes
--
Interessado em aprender mais sobre o Ubuntu em português?
http://wiki.ubuntu-br.org/Comece
http://br.yahoo.com/mailbeta/tudonovo/
>
>
>
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur
o desejada e de forma conveniente.
>
> Desde já, grato.
>
> Salles (Nethell)
>
>
>
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Sup
pra você usar.
O endereço da ajuda da camera é este aqui:
http://dfthiagodf.wordpress.com/2007/04/02/webcam-embutida-no-hp-dv6000series/
Qualquer dúvidas, estamos aqui.
Bom final de semana à todos,
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Suporte ao Cálculo de Refinam
t;
> Desde já agradeço.
>
>
>
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Art
Pessoal,
Alguém já usou o Elisa Media Center? Se sim, podem me dar dicas de
instalação?
Obrigado!
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Suporte ao Cálculo de Refinamentos de Programas Concorrentes
--
Interessado em aprender mais sobre o Ubuntu em português?
http
Galera,
Problemas...
Eu segui este tutorial, tudo bem. Naveguei normalmente.
Reiniciei o pc, e meu problema voltou! Só que, se eu executar os mesmos
passos, a eth0 não volta.
Alguma sugestão?
Artur
Em 01/03/08, Artur Oliveira Gomes <[EMAIL PROTECTED]> escreveu:
>
> Oi Pessoal,
>
Oi Pessoal,
Consegui já resolver. Segui esse tutorial:
http://ubuntuforums.org/showthread.php?s=8fd7058ac3c386ae8cee15041d0bce45&t=634657#post3912464
Artur
Em 01/03/08, Artur Oliveira Gomes <[EMAIL PROTECTED]> escreveu:
>
> Oi Pessoa,
>
> Estou com um probleminha. Comprei
utilitário que reconhece que tipo de rede está conectada,
no caso 100Mbps foi reconhecida. Então, tô achando que é problema de driver
mesmo.
Alguém tem uma placa desta ou sabe como me ajudar?
Grato com a informação e tenham todos um bom final de semana!
--
Artur Oliveira Gomes
Ciências da
roblema sabe o que pode estar
> > acontecendo?
> >
> > Config da máquina:
> > Intel Core2 Duo T4500
> > 2Gb DDR2 533 Kingston
> > HD SATA-2 160Gb Maxtor
> > Placa Mãe GIGABYTE com chipset Intel.
> >
> > Agradeço toda e qualquer informação.
> >
&g
e problema sabe o que pode estar
acontecendo?
Config da máquina:
Intel Core2 Duo T4500
2Gb DDR2 533 Kingston
HD SATA-2 160Gb Maxtor
Placa Mãe GIGABYTE com chipset Intel.
Agradeço toda e qualquer informação.
Bom final de semana a todos!
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquis
de semana a todos!
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Suporte ao Cálculo de Refinamentos de Programas Concorrentes
--
Interessado em aprender mais sobre o Ubuntu em português?
http://wiki.ubuntu-br.org/ComeceAqui -
ubuntu-br mailing list
ubuntu-br@lists.ubuntu.com
.com/mailman/listinfo/ubuntu-br
> >
>
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Olive
Ok Israel. Obrigado!
Em 18/02/08, Israel Junior <[EMAIL PROTECTED]> escreveu:
>
> 2008/2/18 Artur Oliveira Gomes <[EMAIL PROTECTED]>:
> > Oi Pessoal,
> >
> > Gostaria de uma ajuda:
> >
> > Como eu posso fazer para que, ao tentar remover uma past
uma pasta com 30gb de musicas.. Sorte que
eu havia feito backup de tudo umas duas semanas atrás.
Há alguma forma de fazer um alias no .bashrc para que eu precise fazer esse
procedimento?
Grato,
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Suporte ao Cálculo de Refiname
> --
> > Interessado em aprender mais sobre o Ubuntu em português?
> > http://wiki.ubuntu-br.org/ComeceAqui -
> > ubuntu-br mailing list
> > ubuntu-br@lists.ubuntu.com
> > https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
> >
> --
> Interessado em apr
e o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Suporte ao Cálculo de Refinamentos de Prog
omeceAqui -
> > ubuntu-br mailing list
> > ubuntu-br@lists.ubuntu.com
> > https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
> >
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
>
-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Suporte ao Cálculo de Refinamentos de Programas Concorrentes
--
Interessado em a
Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Suporte ao Cálculo de Refinamentos
ri-Frederic Amiel
>
>
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
C
ps://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Suporte ao Cálculo de Refinamentos de Programas Concorrentes
--
Interessado em aprender mais sobre o Ubuntu em português?
http://wiki.ubuntu-br.org/ComeceAqui -
ubuntu-br mailing list
a uma pasta disco, só para teste, e monta em seguida o
conteúdo da partição neste ponto. Veja se ele monta mesmo e responda aqui.
--
Artur Oliveira Gomes
Ciências da Computação - UFRN
Pesquisa: Suporte ao Cálculo de Refinamentos de Programas Concorrentes
--
Interessado em aprender mais s
thell).
>
>
>
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
--
Artur Oliveira Gomes
Ciências da Co
untudicas.blogspot.com
> --
> Interessado em aprender mais sobre o Ubuntu em português?
> http://wiki.ubuntu-br.org/ComeceAqui -
> ubuntu-br mailing list
> ubuntu-br@lists.ubuntu.com
> https://lists.ubuntu.com/mailman/listinfo/ubuntu-br
>
>
>
> --
> Interessado em
\_ processo2
bla bla bla \_ processo3
bla bla bla \_ processo4
bla bla bla \_ processo5
processo não tem pai
processo 2, 3 e 5 tem "processo1" como pai
processo4 tem "processo3" c
1 - 100 of 362 matches
Mail list logo
