登入選單
Google圖書搜尋
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