Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /
Na minha lista:
Principais autores: | LPAR (Conference) (11th : 2005 : Montevideo, Uruguay)., Baader, Franz von, Voronkov, A. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/162383 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings /
por: Bertot, Yves, et al.
Publicado em: (2022) -
Logical environments /
por: Huet, Gerard., et al.
Publicado em: (2022) -
Inteligência artificial /
por: Winston, Patrick Henry., et al.
Publicado em: (2022) -
Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
por: Basin, David, et al.
Publicado em: (2022) -
Automated reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12/15, 2008 : proceedings /
por: Armando, Alessandro., et al.
Publicado em: (2022)