Idioma:

Logic for programming and automated reasoning 6th International Conference, LPAR '99, Kiev, Ukraine, September 6-10, 1999 : proceedings

International Conference on Logic Programming and Automated Reasoning (6th 1999 Tbilisi, Georgia) H Ganzinger 1950- (Harald); David A McAllester; A Voronkov 1959- (Andreæi)

Carbonell, G., ed., Siekmann, J., ed Lecture Notes in Artificial Intelligence Berlin, Springer-Verlag, c1994-

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1705 e.1 ) e outros locais(Acessar)

Título:
Logic for programming and automated reasoning 6th International Conference, LPAR '99, Kiev, Ukraine, September 6-10, 1999 : proceedings
Autor: International Conference on Logic Programming and Automated Reasoning (6th 1999 Tbilisi, Georgia)
H Ganzinger 1950- (Harald); David A McAllester; A Voronkov 1959- (Andreæi)
Assuntos: Logic programming -- Congresses; Automatic theorem proving -- Congresses; INTELIGÊNCIA ARTIFICIAL
É parte de: Carbonell, G., ed., Siekmann, J., ed Lecture Notes in Artificial Intelligence Berlin, Springer-Verlag, c1994-
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science Lecture notes in artificial intelligence; Lecture notes in computer science 1705
Editor: Berlin Springer-Verlag New York
Data de criação/publicação: c1999
Formato: xii, 395 p. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 4 Avançar Ir para próxima página