Yazar
Skrzypczak, Michał. author.
Format:
Electronic Resources
Alıntı:
theory, topology, and automata theory and provides many deep insights into the interplay between these
Yazar
Höfner, Peter. editor.
Format:
Electronic Resources
Alıntı:
Approach to General Topology -- A Mechanised Abstract Formalisation of Concept Lattices -- A Sufficient
View Other Search Results
Yazar
Dignum, Virginia. editor.
Format:
Electronic Resources
Alıntı:
Topology -- Formation of Association Structures Based on Reciprocity and Their Performance in Allocation
Yazar
Daniel, Florian. editor.
Format:
Electronic Resources
Alıntı:
Integer Linear Programming -- Conformance Checking in the Large: Partitioning and Topology -- On Enabling
Yazar
Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
Format:
Electronic Resources
Alıntı:
-- Highlights of the Rice-Shapiro Theorem in Computable Topology -- A Memory Model for Deductively Verifying
Arama Sonuçlarını Sınırlandır
Daraltılmış: