登入選單
Google圖書搜尋
Learning Language in Logic
出版2001*
ISBN
OCLC:496262103
Synthesis of Formal Specifications of Predicates
作者
Marta Fraňová / Lubomir Popelinsky
出版1993
ISBN
OCLC:32331903
主題
Artificial intelligence
Predicting Drop-Out from Social Behaviour of Stude...
作者
Jaroslav Bayer / Hana Bydzovska / Jan Geryk / Tomas Obsivac / Lubomir Popelinsky
出版2012
ISBN
OCLC:1065547962