Haåkan Prawitz

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1960

1 EE Dag Prawitz, Haåkan Prawitz, Neri Voghera: A Mechanical Proof Procedure and its Realization in an Electronic Computer. J. ACM 7(2): 102-128 (1960)

1960
1	EE	Dag Prawitz, Haåkan Prawitz, Neri Voghera: A Mechanical Proof Procedure and its Realization in an Electronic Computer. J. ACM 7(2): 102-128 (1960)

Coauthor Index

1 Dag Prawitz [1]

2 Neri Voghera [1]