登入
選單
Google圖書搜尋
全部
書名
作者
出版社
主題
ISBN
上一頁
1 ~ 30 / 50
下一頁
An Analysis of Complexity
作者
M. H. van Emden
出版
1975
ISBN
OCLC:1014532131
Logic Programming with Equations
作者
M. H. Van Emden / Keitaro Yukawa
出版
1986
ISBN
OCLC:35481667
Contributions to the Theory of Logic Programming
作者
Krzysztof R. Apt / University of Waterloo. Faculty of Mathematics / M. H. Van Emden
出版
Faculty of Mathematics, University of Waterloo, 1980
ISBN
OCLC:15948645
主題
Programming languages (Electronic computers)
Equational Logic Programming
作者
M. H. Van Emden / University of Waterloo. Faculty of Mathematics / K. Yukawa
出版
Faculty of Mathematics, University of Waterloo, 1986
ISBN
OCLC:13533606
主題
Computer programming
On Warren's Method for Functional Programming in L...
作者
Mantis Hoi Ming Cheng / M. H. Van Emden / B. C. Richards / University of Victoria (B.C.). Department of Computer Science
出版
1989
ISBN
OCLC:858593024
主題
Logic programming
Programming with Resolution Logic
作者
M. H. VanEmden
出版
1975
ISBN
OCLC:255489171
Programming with Verification Conditions
作者
M. H. Van Emden
出版
1977
ISBN
OCLC:35346814
主題
Structured programming
A Pure Prolog Program is Not Necessarily a Logic P...
作者
M. H. Van Emden / David Arturo Rosenblueth / University of Victoria (B.C.). Department of Computer Science
出版
1990
ISBN
OCLC:858593075
主題
Logic programming
Module Interface Specifications in Logic
作者
Mantis Hoi Ming Cheng / M. H. Van Emden / Paul Anthony Strooper / University of Victoria (B.C.). Department of Computer Science
出版
1991
ISBN
OCLC:858593084
主題
Logic programming
Describing Symmetrical Structures in Logic
作者
Paul Anthony Strooperm / M. H. Van Emden / University of Victoria (B.C.). Department of Computer Science
出版
1992
ISBN
OCLC:858592940
主題
Logic programming
Spreadsheets with Incremental Queries as a User In...
作者
M. H. Van Emden / Masaru Ohki / Akikazu Takeuchi
出版
Faculty of Mathematics, University of Waterloo, 1985
ISBN
OCLC:14557058
主題
Computer programming
The Semantics of Predicate Logic as a Programming ...
作者
Maarten H. Van Emden / R. A. Kowalski / University of Edinburgh. Dept. of Computational Logic / University of Edinburgh. Dept. of Machine Intelligence
出版
1974
ISBN
OCLC:606046872
Predicate Logic as a Language for Parallel Program...
作者
M. H. Van Emden / Lucena, G. J. de
出版
Faculty of Mathematics, University of Waterloo, 1979
ISBN
OCLC:15910368
主題
Computer programming
Numerical Computation Can be Deduction in CHIP
作者
J. H. M. Lee / M. H. Van Emden / University of Victoria (B.C.). Department of Computer Science
出版
1991
ISBN
OCLC:858592927
主題
Floating-point arithmetic
"LUCID" - Style Programming in Logic
作者
Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing / D. R. Brough / M. H. Van Emden
出版
1983
ISBN
OCLC:59303951
主題
Computer software
Mental Ergonomics as Basis for New-generation Comp...
作者
M. H. Van Emden / University of Victoria (B.C.). Department of Computer Science
出版
1991
ISBN
OCLC:858592952
主題
Logic programming
Adapting CLP (R) to Floating-point Arithmetic
作者
J. H. M. Lee / M. H. Van Emden / University of Victoria (B.C.). Department of Computer Science
出版
1991
ISBN
OCLC:858592926
主題
Floating-point arithmetic
A Worked Example in Unstructured Systematic Progra...
作者
M. H. van Emden
出版
1976
ISBN
OCLC:71374213
主題
Computer programming
Unstructured Systematic Programming
作者
Maarten H. Van Emden
出版
1976
ISBN
OCLC:606106685
Relational Programming, Illustrated by the Game of...
作者
University of Waterloo. Department of Computer Science / M. H. Van Emden
出版
1978
ISBN
OCLC:716103427
Complete Sets of Frontiers in Logic-based Program ...
作者
M. H. M. Cheng / Paul Anthony Strooper / M. H. Van Emden
出版
University of Waterloo, Faculty of Mathematics, 1987
ISBN
OCLC:18581829
主題
Logic programming
Mathematical Centre Tracts
出版
1963
ISBN
LCCN:72177888
主題
Equations, Simultaneous
Increasing the Efficiency of Quicksort
作者
M. H. van Emden
出版
1970
ISBN
OCLC:897783274
Top-down Semantics of Fair Computations of Logic P...
作者
M. H. Van Emden / University of Waterloo. Department of Computer Science / M. A. Nait Abdallah
出版
1985
ISBN
OCLC:15352917
主題
Computer programming
Optimal Data Compression
作者
M. H. van Emden
出版
1971
ISBN
OCLC:897783260
Towards a Western Fifth-generation Computer System...
作者
M. H. Van Emden / University of Waterloo. Faculty of Mathematics / University of Waterloo. Institute for Computer Research
出版
Faculty of Mathematics, University of Waterloo, 1984
ISBN
OCLC:15965045
主題
Artificial intelligence
An Algorithm for Balanced Floating-point Addition
作者
University of Waterloo. Faculty of Mathematics / M. H. Van Emden / Helio de M. Silva
出版
Department of Computer Science, University of Waterloo, 1978
ISBN
OCLC:71378321
主題
Computer programs
Converting AND-control to OR-control by Program Tr...
作者
M. H. Van Emden / P. Szeredi
出版
Faculty of Mathematics, University of Waterloo, 1987
ISBN
OCLC:17414788
主題
Logic
Verification Conditions as Representations for Pro...
作者
M. H. van Emden
出版
1976
ISBN
OCLC:897760294
Value Constraints in the CLP Scheme
作者
M. H. van Emden
出版
1996
ISBN
OCLC:35997984
主題
Algebras, Linear