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

Y. Iwamaru

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

1975
1 T. Nishimura, M. Nakanishi, M. Nogeta, Y. Iwamaru: Gentzen-Type Formel System Representing Properties of Function and its Implementation. IJCAI 1975: 57-64

Coauthor Index

1M. Nakanishi [1]
2T. Nishimura [1]
3M. Nogeta [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)