skip to main content
Mostrar Somente
Refinado por: idioma: Japonês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Monitoring Temporal Properties using Interval Analysis

Ishii, Daisuke ; Yonezaki, Naoki ; Goldsztejn, Alexandre

IEICE Trans. Fundamentals, vol. E99-A, no. 2, pp. 442-453, Feb. 2016 [Periódico revisado por pares]

Texto completo disponível

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Expressing Algorithms As Concise As Possible via Computability Logic

Kwon, Keehang

IEICE transactions on fundamental of CS vol E97-A, No.6. June 2014, 1385-1387 [Periódico revisado por pares]

Texto completo disponível

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Existential rigidity and many modalities in order-sorted logic

Kaneiwa, Ken

Knowledge-Based Systems, 2011, Vol.24(5), pp.629-641 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

Development of the Microscopic Traffic Simulation Model with the Fuzzy Logic technique

Errampalli, Madhu ; Okushima, Masashi ; Akiyama, Takamasa Traoré, Mamadou Kaba (Editor)

SIMULATION, January 2013, Vol.89(1), pp.87-101 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

UPPER BOUND FOR SUM OF DIVISORS FUNCTION AND THE RIEMANN HYPOTHESIS

Grytczuk, Aleksander

Tsukuba Journal of Mathematics, 1 June 2007, Vol.31(1), pp.67-75

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

ON THE VERSCHIEBUNG MORPHISM FOR G (λ)

Yato, Mitsuaki

Tsukuba Journal of Mathematics, 1 June 2004, Vol.28(1), pp.93-115

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

A SEQUENCE ASSOCIATED WITH THE ZEROS OF THE RIEMANN ZETA FUNCTION

Matsuoka, Yasushi

Tsukuba Journal of Mathematics, 1 December 1986, Vol.10(2), pp.249-254

Texto completo disponível

Ver todas as versões

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (4)

Data de Publicação 

De até
  1. Antes de2004  (1)
  2. 2004Até2006  (1)
  3. 2007Até2010  (1)
  4. 2011Até2013  (3)
  5. Após 2013  (1)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.