skip to main content
Idioma:
Mostrar Somente
Refinado por: Biblioteca: ICMC - Inst. Ciên. Mat. Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Theory Reasoning in Connection Calculi
Theory Reasoning in Connection Calculi
Theory Reasoning in Connection Calculi
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory Reasoning in Connection Calculi

Peter Baumgartner Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1998

Acesso online. A biblioteca também possui exemplares impressos.

2
Theorem proving with analytic tableaux and related methods 4th international workshop, tableaux'95, schlob rheinfels, st goar, germany, may 7-10, 1995, proceedings
Theorem proving with analytic tableaux and related methods 4th international workshop, tableaux'95, schlob rheinfels, st goar, germany, may 7-10, 1995, proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem proving with analytic tableaux and related methods 4th international workshop, tableaux'95, schlob rheinfels, st goar, germany, may 7-10, 1995, proceedings

Workshop on Theorem Proving With Analytic Tableaux and Related Methods (4. 1995 St. Goar, Dt) Peter Baumgartner; Reiner Hahnle; Joachim Posegga

Berlin Springer 1995

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.