Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics /

Guardado en:
Detalles Bibliográficos
Autor principal: Wallen, Lincoln A.
Formato: Libro
Lenguaje:Inglés
Publicado: Cambridge : Massachusetts institute of technology, 1989
Colección:MIT press in artificial intelligence
Materias:
Matemáticas
Aporte de:Registro referencial: Solicitar el recurso aquí
Sistema de Bibliotecas de la UNICEN de Universidad Nacional del Centro
LEADER 00649nam a2200193 4500
001 015592
003 arbauncb
008 150429s1989 us g 000 0 eng d
005 20171017144403.0
040 |a AR-BaUNCB  |c AR-BaUNCB 
245 1 0 |a Automated proof search in non-classical logics :  |b efficient matrix proof methods for modal and intuitionistic logics /  |c Lincoln A. Wallen. 
260 |a Cambridge :  |b Massachusetts institute of technology,  |c 1989 
440 0 |a MIT press in artificial intelligence 
300 |a 239 p.  |c 22 cm 
020 |a 2062231441 
100 1 |a Wallen, Lincoln A. 
082 0 4 |a 511.3 
650 7 |a Matemáticas  |2 mpirdes 
999 |c 15514  |d 15514 

Ejemplares similares