Lecture Notes in Computer Science - Intelligent Computer Mathematics
Latest Publications

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer International Publishing

9783319084336, 9783319084343
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

System Description: MathHub.info

2014 ◽  
pp. 431-434 ◽  
Author(s):  
Mihnea Iancu ◽  
Constantin Jucovschi ◽  
Michael Kohlhase ◽  
Tom Wiesing
Keyword(s):  
System Description

scholarly journals Formalization of Complex Vectors in Higher-Order Logic

2014 ◽  
pp. 123-137 ◽  
Author(s):  
Sanaz Khan Afshar ◽  
Vincent Aravantinos ◽  
Osman Hasan ◽  
Sofiène Tahar
Keyword(s):  
Higher Order ◽  
Order Logic ◽  
Higher Order Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document