Howard Straubing – författare
Visar alla böcker från författaren Howard Straubing. Handla med fri frakt och snabb leverans.
3 produkter
Finite Automata, Formal Logic, and Circuit Complexity
Inbunden, 1994
1130 kr
Lägg i varukorg
The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing machine with a formula of first order …
Finite Automata, Formal Logic, and Circuit Complexity
E-bok, 2012
1622 kr
Lägg i varukorg
The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing machine with a formula of first order …
Finite Automata, Formal Logic, and Circuit Complexity
Häftad, 2012
1204 kr
Lägg i varukorg
The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing machine with a formula of first order …
