登入選單
Google圖書搜尋
Theory and Applications of Relational Structures a...
作者
H. C. M. de Swart
出版Springer Science & Business Media, 2003-12-16
ISBN
9783540207801 / 3540207805
主題
Computers
Logic: Logic and computer science
作者
H. C. M. de Swart
出版Peter Lang Gmbh, Internationaler Verlag Der Wissenschaften, 1993
ISBN
IND:39000006008572
主題
Computers
Sets
作者
Dirk Dalen / H. C. Doets / H. C. M. de Swart
出版Pergamon, 1978
ISBN
UOM:39015015613519
主題
Mathematics
Logic
作者
H. C. M. de Swart
出版Peter Lang Gmbh, Internationaler Verlag Der Wissenschaften, 1993
ISBN
IND:30000035598519
主題
Computers
Theory and Applications of Relational Structures a...
作者
H. C. M. de Swart
出版Springer Science & Business Media, 2003-12-16
ISBN
9783540207801 / 3540207805
主題
Computers
Logic
作者
H. C. M. de Swart
出版1993
ISBN
LCCN:93242938
主題
Logic, Symbolic and mathematical
Theory and Applications of Relational Structures a...
出版2007
ISBN
OCLC:1170884073
主題
Computer science
Automated Reasoning with Analytic Tableaux and Rel...
作者
Harrie de Swart
出版Springer, 1998-04-22
ISBN
3540644067 / 9783540644064
主題
Computers