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

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319999562, 9783319999579
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Machine Learning for Inductive Theorem Proving

2018 ◽  
pp. 87-103 ◽  
Author(s):  
Yaqing Jiang ◽  
Petros Papapanagiotou ◽  
Jacques Fleuriot
Keyword(s):  
Machine Learning ◽  
Theorem Proving ◽  
Inductive Theorem Proving

scholarly journals Automated Reasoning in the Age of the Internet

2018 ◽  
pp. 3-18 ◽  
Author(s):  
Alan Bundy ◽  
Kwabena Nuamah ◽  
Christopher Lucas
Keyword(s):  
Automated Reasoning ◽  
The Internet

Into the Infinite - Theory Exploration for Coinduction

2018 ◽  
pp. 70-86 ◽  
Author(s):  
Sólrún Halla Einarsdóttir ◽  
Moa Johansson ◽  
Johannes Åman Pohjola

scholarly journals Formalizing Some “Small” Finite Models of Projective Geometry in Coq

2018 ◽  
pp. 54-69 ◽  
Author(s):  
David Braun ◽  
Nicolas Magaud ◽  
Pascal Schreck
Keyword(s):  
Projective Geometry ◽  
Finite Models

Towards an Automated Geometer

2018 ◽  
pp. 215-220 ◽  
Author(s):  
Francisco Botana ◽  
Zoltán Kovács ◽  
Tomás Recio
Load More ...
Sign in / Sign up

Export Citation Format

Share Document