Advances in Algorithms, Languages, and Complexity by Ding-Zhu Du (English) Paper
213,25 €
Theorem Proving in Hierarchical Clausal Specifications. - Algorithms for Learning Finite Automata from Queries: A Unified View. - Homomorphic Representations of Certain Classes of Languages. - Block-Synchronization Context-Free Grammars.
Jetzt bei Ebay: