- McCune, W. (William) (1)
- McKinna, James (1)
- McRobbie, M. A. (Michael A.) (1)
- Muñoz, César (1)
- Naraschewski, Wolfgang, 1970- (1)
- Newey, Malcolm Charles (1)
- Nieuwenhuis, Robert (1)
- Nordström, Bengt (1)
- Ohlbach, Hans Jürgen (1)
- Overbeek, Ross A. (1)
- PKDD (1)
- PRC-IA (1)
- Palamidessi, Catuscia (1)
- Parigot, Michel (1)
- Pfenning, Frank (1)
- Pirri, Fiora (1)
- Pnueli, A. (Amir) (1)
- Pollack, Robert (1)
- Proof Theory in Computer Science (1)
- Reus, Bernhard, 1965- (1)
- Richter-Gebert, Jürgen (1)
- Roever, W.-P. de, 1943- (1)
- Rusinowitch, Michaël (1)
- Schroeder-Heister, Peter Joseph, 1953- (1)
- Schubert, Thomas E., 1959- (1)
- Seger, Carl-Johan H. (1)
- Shi, Zhongzhi (1)
- Shostak, Robert, 1931- (1)
- Slaney, John K. (1)
- Slind, Konrad (1)
- Smith, Jan M (1)
- Srivas, Mandayam (1)
- Stavridou, V. (1)
- Stickel, Mark E., 1947- (1)
- Stuckey, Peter J. (1)
- Stärk, Robert F., 1963- (1)
- Swart, Harrie de (1)
- Symposium on Automatic Demonstration (1)
- Tahar, Sofiène (1)
- Truszczyński, Mirosław (1)
- Werner, Benjamin (1)
- Wiedijk, Freek, 1961- (1)
- Winkler, Franz, 1955- (1)
- Wolff, Burkhart, 1962- (1)
- Wright, J. (Joakim) von, 1955- (1)
- Yang, Lu (1)
- Żytkow, Jan M. (1)
前へ<