Trang chủ /
Tạp chí /
Arch. Formal Proofs
Từ gửi bài đến xuất bản —
APC —
DOAJ —
Năm đầu 2008
Thông tin cơ bản
Nhà xuất bản —
Quốc gia/Khu vực —
Lĩnh vực Computer Science
Truy cập mở —
DOAJ —
Giấy phép —
Năm đầu 2008
Bản ghi bài báo DOAJ —
Trang web —
Trang gửi bài —
Đánh giá gửi bài
Chi phí: Chưa ghi số tiền APC
Độ khó: —;328 bài mỗi năm
Cách gửi: Chưa có liên kết hướng dẫn tác giả; hãy bắt đầu từ trang web tạp chí.
Truy cập mở: —
Dữ liệu tham khảo Cách đọc các chỉ số tạp chí →
Bài/năm 328
h-index 9
Trích dẫn trung bình 2 năm 0.00
Năm xuất bản gần nhất 2022
Bản ghi bài báo DOAJ —
Truy cập mở —
“Trích dẫn trung bình 2 năm” là trường OpenAlex summary_stats.2yr_mean_citedness (CC0): số trích dẫn trung bình mỗi bài trong cửa sổ hai năm. Đây là trường thư mục học thô, không phải đánh giá tạp chí, và không dùng cho thứ tự mặc định.
Phân loại lĩnh vực
Computer Science208
Mathematics45
Institute of Electrical and Electronics Engineers · Hoa Kỳ
APC $2,160
Thời gian đến khi xuất bản 6 tuần
Bài/năm 114,100
Elsevier BV · Hà Lan
APC —
Thời gian đến khi xuất bản —
Bài/năm 36,702
Elsevier BV · Vương quốc Anh
APC $3,500
Thời gian đến khi xuất bản —
Bài/năm 32,755
Elsevier BV · Hà Lan
APC $2,670
Thời gian đến khi xuất bản —
Bài/năm 28,501
Foundation of Computer Science · Ấn Độ
APC —
Thời gian đến khi xuất bản —
Bài/năm 27,185
1000-3428
OA
DOAJ
Không APC
East China Computer Technology Research Institute · Trung Quốc
APC Không APC
Thời gian đến khi xuất bản 50 tuần
Bài/năm 25,350