Blank Cover Image

Journal of Automated Reasoning

資料種別:
電子ジャーナル
出版情報:
SpringerLink Journals - AutoHoldings
NETHERLANDS : Springer Netherlands
ISSN:
01687433
書誌ID:
OJ00172061
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
受入情報
Loading recipt information

類似資料:

1 電子ジャーナル SIAM Journal on Computing

SIAM Society for Industrial and Applied Mathematics, Society for Industrial and Applied Mathematics.

SIAM Society for Industrial and Applied Mathematics, Society for Industrial and Applied Mathematics.

2 電子ジャーナル SIAM Journal on Computing

EBSCOhost Academic Search Premier, Society for Industrial and Applied Mathematics.

8 電子ジャーナル Journal of logic and computation

NII-REO OUP Archive Full, Oxford University Press

3 電子ジャーナル Soft Computing

SpringerLink Journals - AutoHoldings, Springer Berlin Heidelberg

9 電子ジャーナル SIAM Journal on Numerical Analysis

JSTOR Arts and Sciences I, Society for Industrial and Applied Mathematics

4 電子ジャーナル Statistics and Computing

SpringerLink Journals - AutoHoldings, Springer US

Elsevier SD Backfile Complete, Academic Press

5 電子ジャーナル The Journal of Supercomputing

EBSCOhost Academic Search Premier, Springer US

11 電子ジャーナル Journal of logic and computation

Oxford University Press Journals Current, Oxford University Press

6 電子ジャーナル SIAM Journal on Numerical Analysis

SIAM Society for Industrial and Applied Mathematics, Society for Industrial and Applied Mathematics

12 電子ジャーナル SIAM Journal on Control and Optimization

EBSCOhost Academic Search Premier, Society for Industrial and Applied Mathematics.

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12