skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples

Higher order logic theorem proving and its applications 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

T. F Melham (Tom F.); Juanito Camilleri

Berlin New York Springer-Verlag c1994

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.859 ) e outros locais(Acessar)

  • Título:
    Higher order logic theorem proving and its applications 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings
  • Autor: T. F Melham (Tom F.); Juanito Camilleri
  • Assuntos: Automatic theorem proving -- Congresses; INTELIGÊNCIA ARTIFICIAL; PROGRAMAÇÃO LÓGICA
  • Notas: Includes bibliographical references
  • Notas Locais: Serie : lecture notes in conputer science, 859
    Serie : lecture notes in computer science, 859
  • Títulos relacionados: Série:Lecture notes in computer science 859
  • Editor: Berlin New York Springer-Verlag
  • Data de criação/publicação: c1994
  • Formato: ix, 470 p ill. 24 cm.
  • Idioma: Inglês
Links
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  6 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.