Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319137698, 9783319137704
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Algorithmic Aspects of Theory Blending

2014 ◽  
pp. 180-192 ◽  
Author(s):  
Maricarmen Martinez ◽  
Ulf Krumnack ◽  
Alan Smaill ◽  
Tarek Richard Besold ◽  
Ahmed M. H. Abdel-Fattah ◽  
...  

scholarly journals Obtaining an ACL2 Specification from an Isabelle/HOL Theory

2014 ◽  
pp. 49-63
Author(s):  
Jesús Aransay-Azofra ◽  
Jose Divasón ◽  
Jónathan Heras ◽  
Laureano Lambán ◽  
María Vico Pascual ◽  
...  

scholarly journals A Distance-Based Decision in the Credal Level

2014 ◽  
pp. 147-156 ◽  
Author(s):  
Amira Essaid ◽  
Arnaud Martin ◽  
Grégory Smits ◽  
Boutheina Ben Yaghlane
Load More ...
Sign in / Sign up

Export Citation Format

Share Document