Idioma:

Automated reasoning with analytic tableaux and related methods International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings

TABLEAUX'98 (1998 Oisterwijk, Netherlands) H. C. M. de Swart

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

Título:
Automated reasoning with analytic tableaux and related methods International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings
Autor: TABLEAUX'98 (1998 Oisterwijk, Netherlands)
H. C. M. de Swart
Assuntos: Artificial intelligence -- Congresses; Automatic theorem proving -- Congresses; PROVA AUTOMÁTICA DE TEOREMAS; LÓGICA MATEMÁTICA; INTELIGÊNCIA ARTIFICIAL
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 1397
Editor: Berlin New York Springer
Data de criação/publicação: c1998
Formato: x, 324 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

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