---

＜図書＞
Computational logic : essays in honor of Alan Robinson / edited by Jean-Louis Lassez and Gordon Plotkin

出版者	Cambridge, Mass. : MIT Press
出版年	c1991
本文言語	英語
大きさ	viii, 727 p. : ill. ; 26 cm
著者標目	Robinson, J. A. (John Alan) Lassez, Jean-Louis Plotkin, G. (Gordon), 1946-
件　名	LCSH:Automatic theorem proving LCSH:Logic programming LCSH:Robinson, J. A. (John Alan)
一般注記	Includes bibliographical references

 類似資料