Advances in Algorithms, Languages, and Complexity by Ding-Zhu Du (English) Hardc
211,52 €
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:
