Machine Models and Simulations 论文

1990Elsevier eBooks引用 251
Computability, Logic, AI AlgorithmsLogic, programming, and type systemssemigroups and automata theory