Haåkan Prawitz

According to our database, Haåkan Prawitz authored at least 1 paper in 1960.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of five.

1960

A Mechanical Proof Procedure and its Realization in an Electronic Computer.

Dag Prawitz, Haåkan Prawitz, Neri Voghera

J. ACM, 1960