登入選單

返回Google圖書搜尋

Inference of Functions with an Interactive System

Gérard GuihoJean-Pierre Jouannaud

出版	Université de Paris-Sud. Département de Mathématique. Laboratoire de Recherche en Informatique [LRI], 1978
URL	http://books.google.com.hk/books?id=E4m5GwAACAAJ&hl=&source=gbs_api