Buch, Englisch, Band 889, 105 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 189 g
Buch, Englisch, Band 889, 105 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 189 g
Reihe: Studies in Computational Intelligence
ISBN: 978-3-030-41427-6
Verlag: Springer International Publishing
The intended readership includes researchers working in the areas of traditional logical foundations, and onnew approaches to intelligent computational systems.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Type-Theory of Acyclic Algorithms for Models of Consecutive Binding of Functional Neuro-Receptors.- Re?ning Algebraic Hierarchy in Mathematical Repository of Mizar.- Extending Formal Topology in Mizar by Uniform Spaces.