Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /

Na minha lista:
Detalhes bibliográficos
Principais autores: LPAR (Conference) (11th : 2005 : Montevideo, Uruguay)., Baader, Franz von, Voronkov, A.
Formato: Livro
Publicado em:
Assuntos:
Programação lógica -
Congressos.
Demonstração automática de teoremas -
Inteligência artificial -
Endereço do item:https://app.bczm.ufrn.br/home/#/item/162383
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Internet

https://app.bczm.ufrn.br/home/#/item/162383

Registros relacionados