在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
computation programming » communication programming, computation programmatic, computing programming
deduction computation » prediction computation, detection computational, education computational
problems array » problems ray, problems aripar, problems barrow
array a » array _
computation programming » communication programming, computation programmatic, computing programming
deduction computation » prediction computation, detection computational, education computational
problems array » problems ray, problems aripar, problems barrow
array a » array _
1
出版 2010
书本目录:
“... Freedom of Rewrite Theories -- PBINT, A Logic for Modelling Search Problems Involving Arithmetic...”获取全文
电子
电子书
2
出版 2007
书本目录:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”获取全文
电子
电子书
3
出版 2006
书本目录:
“... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...”获取全文
电子
电子书
4
出版 2010
书本目录:
“... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”获取全文
电子
电子书
5
出版 2006
书本目录:
“... Programming: A Declarative Approach to Solving Search Problems -- Inconsistencies in Ontologies -- Technical...”获取全文
电子
电子书
6
出版 2013
书本目录:
“... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”获取全文
电子
电子书
7
出版 2008
书本目录:
“... (System Description) -- LogAnswer - A Deduction-Based Question Answering System (System Description) -- A...”获取全文
电子
电子书