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

Seung S. Park Vis

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

*1990
3EEWah-Bih Liaw, Frank M. Brown, Seung S. Park: Towards Common Sense Planning. ACM Conference on Computer Science 1990: 281-287
1988
2EEFrank M. Brown, Seung S. Park: SYMEVAL: A Theorem Prover Based on the Experimental Logic. CADE 1988: 756-757
1EEFrank M. Brown, Seung S. Park, Jim Phelps: ZPLAN: An Automatic Reasoning System for Situations. CADE 1988: 758-759

Coauthor Index

1Frank M. Brown [1] [2] [3]
2Wah-Bih Liaw [3]
3Jim Phelps [1]

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