在线查询网-手机版
在线查询网
图书大全
Tacti
Tacti
请输入要查询的图书:
查询
可以输入图书全称,关键词或ISBN号
Tacti
-Based Inductive Theorem Prover for Data Types With Partial Operations
ISBN:9781586031282
...
Tacti
Based
Inductive
Theorem
Prover
for
Data
Types
With
Partial
Operations