久热精品在线视频,思思96精品国产,午夜国产人人精品一区,亚洲成在线a

<s id="x4lik"><u id="x4lik"></u></s>


    • 

      <strong id="x4lik"><u id="x4lik"></u></strong>
      
	
	
      
	
	
      

      
	
	
	
	
	
	

      
	
      
		
      
			
      
				Logical Methods In Computer Science
			
      
			
      
				
        
					
      • ISSN：1860-5974
        • 
					
      • E-ISSN：1860-5974
        • 
					
      • H-index指數(shù)：31
        • 
					
      • 文章自引率：
        • 
					
      • 影響因子：0.6
        • 
					
      • 年發(fā)文量：82
        • 
					
      • 研究類文章占比：100.00%
        • 
					
      • 開源占比：0.52...
        • 
					
      • OA被引用占比：1
        • 
				
      
			
      
		
      
		
      
			
      計算機科學中的邏輯方法
			
				
				
					SCIE
				
				
			
      
			
      Logical Methods In Computer Science
      
			
			
        
				
      • 
					
        國際簡稱：LOG METH COMPUT SCI
        
				
        • 
				
      • 
					
        出版周期：Irregular
        
				
        • 
				
      • 
					
        研究方向：工程技術 - 計算機：理論方法
        
				
        • 
				
      • 
					
        出版語言：English
        
				
        • 
				
      • 
					
        創(chuàng)刊時間：2005
        
				
        • 
				
      • 
					
        是否預警：否
        
				
        • 
				
      • 
					
        出版地區(qū)：GERMANY
        
				
        • 
				
      • 
					
        是否 OA：開放
        
				
        • 
			
      
			
      
				期刊介紹
				
      《Logical Methods In Computer Science》(《計算機科學中的邏輯方法》)是一本由Technischen Universitat Braunschweig出版的工程技術-計算機：理論方法學術刊物，主要刊載工程技術-計算機：理論方法相關領域研究成果與實踐，旨在打造一種學術水平高、可讀性強、具有全球影響力的學術期刊。本刊已入選SCIE來源期刊。該刊創(chuàng)刊于2005年，出版周期Irregular。2023年發(fā)布的影響因子為0.6。
      
			
      
			
		
      
	
      

      
	
	
	
      
		
      
			服務流程:
			
		
      
	
      
	
	
      
		
      
			
			
			
			
      
				
      
					
      期刊簡介
      
					
      Magazine introduction
      
				
      
				
      
					
      計算機科學中的邏輯方法（Logical Methods In Computer Science）在中科院分區(qū)中位于4區(qū)，JCR分區(qū)位于Q2。審稿速度一般為 較慢,6-12周 ，且近兩年沒有被列入國際預警名單，您可以放心投稿。如果您需要投稿指導，可在線咨詢我們的客服老師，我們將竭誠為您服務。
      
					
      《計算機科學中的邏輯方法》是一本經(jīng)過全面評審的免費電子期刊，可免費訪問。它歡迎發(fā)表涉及廣義邏輯方法的計算機科學理論和實踐領域的論文；其范圍內的一些特定領域如下所列。論文以傳統(tǒng)方式評審，每篇論文由兩名或多名評審員評審。版權歸作者所有。
      

      計算機科學中的邏輯方法主題：
      

      代數(shù)方法
      

      自動機和邏輯
      

      自動推理
      

      分類模型和邏輯
      

      共代數(shù)方法
      

      可計算性和邏輯
      

      計算機輔助驗證
      

      并發(fā)理論
      

      約束編程
      

      信息物理系統(tǒng)
      

      數(shù)據(jù)庫理論
      

      可廢止推理
      

      領域理論
      

      新興主題：生物學中的計算系統(tǒng)
      

      新興主題：量子計算和邏輯
      

      有限模型理論
      

      形式化數(shù)學
      

      函數(shù)式編程和 lambda 演算
      

      歸納邏輯和學習
      

      交互式證明檢查
      

      邏輯和算法
      

      邏輯和復雜性
      

      邏輯和游戲
      

      邏輯和概率
      

      知識表示邏輯
      

      邏輯編程
      

      程序邏輯
      

      模態(tài)和時間邏輯
      

      程序分析和類型檢查
      

      程序開發(fā)和規(guī)范
      

      證明復雜性
      

      實時和混合系統(tǒng)
      

      關于動作和計劃的推理
      

      可滿足性
      

      安全性
      

      編程語言的語義
      

      術語重寫和方程邏輯
      

      類型理論和建設性數(shù)學。
      
				
      
			
      
			
			
			
			
			
			
      
				
      
					
      中科院SCI分區(qū)
      
					
      Magazine introduction
      
				
      
				
				
      2023年12月升級版
      
				
      
					
						
      
							大類學科
							分區(qū)
							小類學科
							分區(qū)
							Top期刊
							綜述期刊
						
      
					      
					
						
      
							數(shù)學
							4區(qū)
							
								
								COMPUTER SCIENCE, THEORY & METHODS
								計算機：理論方法
								
								LOGIC
								邏輯學
								
							
							
								
								4區(qū)
								
								4區(qū)
								
							
							否
							否
						
      
					      
				
      
				
				
      2022年12月升級版
      
				
      
					
						
      
							大類學科
							分區(qū)
							小類學科
							分區(qū)
							Top期刊
							綜述期刊
						
      
					      
					
						
      
							計算機科學
							4區(qū)
							
								
								COMPUTER SCIENCE, THEORY & METHODS
								計算機：理論方法
								
								LOGIC
								邏輯學
								
							
							
								
								4區(qū)
								
								4區(qū)
								
							
							否
							否
						
      
					      
				
      
				
				
      2021年12月舊的升級版
      
				
      
					
						
      
							大類學科
							分區(qū)
							小類學科
							分區(qū)
							Top期刊
							綜述期刊
						
      
					      
					
						
      
							計算機科學
							4區(qū)
							
								
								COMPUTER SCIENCE, THEORY & METHODS
								計算機：理論方法
								
								LOGIC
								邏輯學
								
							
							
								
								4區(qū)
								
								4區(qū)
								
							
							否
							否
						
      
					      
				
      
				
				
      2021年12月基礎版
      
				
      
					
						
      
							大類學科
							分區(qū)
							小類學科
							分區(qū)
							Top期刊
							綜述期刊
						
      
					      
					
						
      
							工程技術
							4區(qū)
							
								
								COMPUTER SCIENCE, THEORY & METHODS
								計算機：理論方法
								
								LOGIC
								邏輯學
								
							
							
								
								4區(qū)
								
								4區(qū)
								
							
							否
							否
						
      
					      
				
      
				
				
      2021年12月升級版
      
				
      
					
						
      
							大類學科
							分區(qū)
							小類學科
							分區(qū)
							Top期刊
							綜述期刊
						
      
					      
					
						
      
							計算機科學
							4區(qū)
							
								
								COMPUTER SCIENCE, THEORY & METHODS
								計算機：理論方法
								
								LOGIC
								邏輯學
								
							
							
								
								4區(qū)
								
								4區(qū)
								
							
							否
							否
						
      
					      
				
      
				
				
      2020年12月舊的升級版
      
				
      
					
						
      
							大類學科
							分區(qū)
							小類學科
							分區(qū)
							Top期刊
							綜述期刊
						
      
					      
					
						
      
							計算機科學
							3區(qū)
							
								
								LOGIC
								邏輯學
								
								COMPUTER SCIENCE, THEORY & METHODS
								計算機：理論方法
								
							
							
								
								2區(qū)
								
								3區(qū)
								
							
							否
							否
						
      
					      
				
      
				
				
				
      
					
      分區(qū)表升級版：旨在解決期刊學科體系劃分與學科發(fā)展以及融合趨勢的不相容問題。升級版有如下優(yōu)勢：一是論文層級的主題體系既能體現(xiàn)學科交叉特點，又可以精準揭示期刊載文的多學科性；二是采用“期刊超越指數(shù)”替代影響因子指標，解決了影響因子數(shù)學性質缺陷對評價結果的干擾。整體而言，分區(qū)表升級版（試行）突破了期刊評價中學科體系構建、評價指標選擇等瓶頸問題，能夠更為全面地揭示學術期刊的影響力，為科研評價“去四唯”提供解決思路。相關研究成果經(jīng)過國際同行的認可，已經(jīng)發(fā)表在科學計量學領域國際重要期刊。
      
				
      
			
      
			
			
			
			
			
      
				
      
					
      JCR 分區(qū)
      
					
      Magazine introduction（2023-2024年最新版）
      
				
      
				
				
				
      
					
						
      
							按JIF指標學科分區(qū)
							收錄子集
							分區(qū)
							排名
							百分位
						
      
					      
					
						
						
      
							學科：COMPUTER SCIENCE, THEORY & METHODS
							SCIE
							Q4
							117 / 143
							
								
      
									
      18.5%
      
									
      
									
      
								
      
							      		
						
      
						
						
      
							學科：LOGIC
							SCIE
							Q2
							10 / 25
							
								
      
									
      62%
      
									
      
									
      
								
      
							      		
						
      
						
					      
				
      
				
				
				
				
      
					
						
      
							按JCI指標學科分區(qū)
							收錄子集
							分區(qū)
							排名
							百分位
						
      
					      
					
						
						
      
							學科：COMPUTER SCIENCE, THEORY & METHODS
							SCIE
							Q2
							69 / 143
							
								
      
									
      52.1%
      
									
      
									
      
								
      
							      		
						
      
						
						
      
							學科：LOGIC
							SCIE
							Q4
							19 / 25
							
								
      
									
      26%
      
									
      
									
      
								
      
							      		
						
      
						
					      
				
      
				
				
				
				
				
      
					
      JCR：JCR沒有設置大類，只分為176個具體學科，按當期（1年）的影響因子進行分區(qū)；JCR是按照“平均主義”思想，根據(jù)刊物IF的高至低平均劃分4個區(qū)，每個區(qū)含有該領域總量25%的期刊。中科院的分區(qū)如同社會階層的金字塔結構，1區(qū)只有5%的頂級期刊，2~4區(qū)期刊數(shù)量也逐層增加,所以中科院的1區(qū)和2區(qū)雜志很少，雜志質量相對也高，基本都是本領域的頂級期刊。
      
				
      
			
      
			
			
			
			



      
	
      
		
      統(tǒng)計數(shù)據(jù)
      
		
      Magazine introduction
      
	
      
	
      
		
		
		
		
      
			
      影響因子歷年變化趨勢
      
			
      
			
		
      
		
		
		
		
		
      
			
      CiteScore歷年變化趨勢
      
			
      
			
		
      
		
		
		
		
		
      
			
      中科院JCR分區(qū)歷年變化趨勢
      
			
      
			
		
      
		
		
		
		
		
		
      
			
      引文指標和發(fā)文量歷年變化趨勢
      
			
      
			
		
      
		
		
		
		
		
      
			
      自引數(shù)據(jù)歷年變化趨勢
      
			
      
			
		
      
		
		
      
		
      
			
			
      影響因子：表示一種雜志的被引用頻率，是國際上通用的期刊評價指標，它不僅是一種測度期刊有用性和顯示度的指標，而且也是測度期刊的學術水平，乃至論文質量的重要指標。
      
			
			
			
      CiteScore：是影響因子最強有力的競爭者，是衡量期刊影響力的一個指標,由愛思維爾于2020年發(fā)布，旨在讓人們更細致地了解影響力對研究和期刊的意義。
      
			
		
      
	
      
	
	
	
      
		
      CiteScore（2024年最新版）
      
		
      
			
				
      
					CiteScore
					SJR
					SNIP
					CiteScore 指數(shù)
				
      
			      
			
				
      
					1.8
					0.573
					0.931
					
						
      
							
								
      
									學科類別
									分區(qū)
									排名
									百分位
								
      
							      
							
								
								
      
									
										大類：Computer Science
										小類：General Computer Science
									
									
										Q3
									
									
										152 / 232
									
									
										
      
											
      34%
      
											
      
											
      
										
      
									      		
								
      
								
								
      
									
										大類：Computer Science
										小類：Theoretical Computer Science
									
									
										Q4
									
									
										100 / 130
									
									
										
      
											
      23%
      
											
      
											
      
										
      
									      		
								
      
								
							      	
						
      
					      		
				
      
			      
		
      
	
      
	

      

			
			
			
			
			
			
			
			
			
			
			
			
      
			
			
			
			
			
			
			
      
			
			
			
			
      
				
      
					
      TOP期刊
      
				
      
				
			
      
			
		
      
		
		
      
			
      
				
				
				
				
				
      
					
      
						
      
							
      常見問題
      
							
      Magazine introduction
      
						
      
						
					
      
					
					
					
					
					
					
      
						
      
							
      Logical Methods In Computer Science
      
							
      計算機科學中的邏輯方法定制服務方案，SCI檢索
      
						
      
						
					
      
					
					
					
      
						
      
							
      免責聲明
      
							
      Magazine introduction
      
						
      
						
      
							
      
							若用戶需要出版服務，請聯(lián)系出版商，地址：TECH UNIV BRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23, BRAUNSCHWEIG, GERMANY, 38106。