Especificação, execução e raciocínio sobre ações e planos utilizando a lógica de transações (2000)
Unidade: EPAssunto: ENGENHARIA ELÉTRICA
ABNT
SANTOS, Marcus Vinícius Tolentino dos. Especificação, execução e raciocínio sobre ações e planos utilizando a lógica de transações. 2000. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2000. . Acesso em: 07 out. 2024.APA
Santos, M. V. T. dos. (2000). Especificação, execução e raciocínio sobre ações e planos utilizando a lógica de transações (Tese (Doutorado). Universidade de São Paulo, São Paulo.NLM
Santos MVT dos. Especificação, execução e raciocínio sobre ações e planos utilizando a lógica de transações. 2000 ;[citado 2024 out. 07 ]Vancouver
Santos MVT dos. Especificação, execução e raciocínio sobre ações e planos utilizando a lógica de transações. 2000 ;[citado 2024 out. 07 ]