Mostrando
1 - 2
Resultados de
2
Para Buscar '
Beklemishev L.D.
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Beklemishev L.D.
Mostrando
1 - 2
Resultados de
2
Para Buscar '
Beklemishev L.D.
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
On the expressive power of IF-logic with classical negation
por
Figueira, S.
,
Gorín, D.
,
Grimson, R.
,
Beklemishev
L.D
.
,
Queiroz R.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
2
Basic model theory for memory logics
por
Areces, C.
,
Carreiro, F.
,
Figueira, S.
,
Mera, S.
,
Beklemishev
L.D
.
,
Queiroz R.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Computation theory
Computer circuits
Additional datum
Data structures
Definability
Existential second-order logic
Expressive power
Interpolation
Logical language
Modal logic
Model properties
Model theory
Non-trivial
Prenex normal forms
Relational Model
Second-order logic
Semantics
Cargando...