登入選單
Google圖書搜尋
Computing in Horn Clause Theories
作者
Peter Padawitz
出版Springer Science & Business Media, 2012-12-06
ISBN
9783642738241 / 3642738249
主題
Computers
Source Code Optimization Techniques for Data Flow ...
作者
Heiko Falk / Peter Marwedel
出版Springer Science & Business Media, 2013-03-19
ISBN
9781402028298 / 1402028296
主題
Computers
Deductive and Declarative Programming
作者
Peter Padawitz
出版Cambridge University Press, 2006-11-23
ISBN
9780521032513 / 0521032512
主題
Computers
Computing in Horn Clause Theories
作者
Peter Padawitz
出版Springer Science & Business Media, 2012-12-06
ISBN
9783642738241 / 3642738249
主題
Computers
Stepwise specification by inductive completion
作者
Peter Padawitz
出版1983
ISBN
OCLC:1457320676
Deductive and Declarative Programming
作者
Peter Padawitz
出版Cambridge University Press, 1992-10-22
ISBN
9780521417235 / 0521417236
主題
Computers