Studies in Computational Intelligence - AI Aspects in Reasoning, Languages, and Computation
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 3)

H-INDEX

(FIVE YEARS 1)

Published By Springer International Publishing

9783030414245, 9783030414252

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extending Formal Topology in Mizar by Uniform Spaces

Studies in Computational Intelligence - AI Aspects in Reasoning, Languages, and Computation ◽

10.1007/978-3-030-41425-2_3 ◽

2020 ◽

pp. 77-105

Author(s):

Adam Grabowski ◽

Roland Coghetto

Keyword(s):

Uniform Spaces ◽

Formal Topology

Download Full-text

Refining Algebraic Hierarchy in Mathematical Repository of Mizar

Studies in Computational Intelligence - AI Aspects in Reasoning, Languages, and Computation ◽

10.1007/978-3-030-41425-2_2 ◽

2020 ◽

pp. 49-75

Author(s):

Adam Grabowski ◽

Artur Korniłowicz ◽

Christoph Schwarzweller

Download Full-text

Type-Theory of Acyclic Algorithms for Models of Consecutive Binding of Functional Neuro-Receptors

Studies in Computational Intelligence - AI Aspects in Reasoning, Languages, and Computation ◽

10.1007/978-3-030-41425-2_1 ◽

2020 ◽

pp. 1-48 ◽

Cited By ~ 1

Author(s):

Roussanka Loukanova

Keyword(s):

Type Theory

Download Full-text

Studies in Computational Intelligence - AI Aspects in Reasoning, Languages, and ComputationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Extending Formal Topology in Mizar by Uniform Spaces

Refining Algebraic Hierarchy in Mathematical Repository of Mizar

Type-Theory of Acyclic Algorithms for Models of Consecutive Binding of Functional Neuro-Receptors

Studies in Computational Intelligence - AI Aspects in Reasoning, Languages, and Computation
Latest Publications