dblp.uni-trier.dewww.uni-trier.de

David Gelperin Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1988
5 David Gelperin, Bill Hetzel: The Growth of Software Testing. Commun. ACM 31(6): 687-695 (1988)
1982
4EEDavid Gelperin: A software test documentation standard. SIGDOC 1982: 61-63
1977
3 David Gelperin: On the Optimality of A*. Artif. Intell. 8(1): 69-76 (1977)
1976
2 David Gelperin: A Resolution-Based Proof Procedure Using Deletion-Directed Search. IEEE Trans. Computers 25(4): 323-327 (1976)
1973
1 David Gelperin: Deletion-Directed Search in Resolution-Dased Proof Procedures. IJCAI 1973: 47-50

Coauthor Index

1Bill Hetzel [5]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)