Ernst-Erich Doberkat über Martin Davis: Engines of Logic -Mathematicians and the Origins of the Computer.

Ernst-Erich Doberkat

Published in: Softwaretechnik-Trends (2002)

Keyphrases

error rate
computer systems
computer scientists
automated reasoning
logic programming
modal logic
computer technology
asynchronous circuits
digital circuits
predicate logic
channel capacity
end to end
personal computer
multiscale
bit error rate
classical logic
mimo systems