登入選單
Google圖書搜尋
Applications of Declarative Programming and Knowle...
作者
Dietmar Seipel / Michael Hanus / Armin Wolf
出版Springer, 2009-04-21
ISBN
9783642006753 / 3642006752
主題
Computers
Horn clause specifications with polymorphic types
作者
Michael Hanus
出版1988
ISBN
OCLC:721908147
Algebraic and Logic Programming
作者
Michael Hanus / Mario Rodriguez-Artalejo
出版Springer Science & Business Media, 1996-09-30
ISBN
3540617353 / 9783540617358
主題
Computers
Adding Plural Arguments to Curry Programs
作者
Michael Hanus
出版2013
ISBN
OCLC:859011251
Algebraic and Logic Programming
作者
Michael Hanus / Jan Heering / Karl Meinke
出版Springer Science & Business Media, 1997-08-20
ISBN
3540634592 / 9783540634591
主題
Computers
An abstract interpretation algorithm for residuati...
作者
Michael Hanus
出版1992
ISBN
OCLC:722347705
Parametric order sorted types in logic programming
作者
Michael Hanus
出版1991
ISBN
OCLC:75344358
Logic programming with type specifications
作者
Michael Hanus
出版1989
ISBN
OCLC:75344372
Lazy unification with inductive simplification
作者
Michael Hanus
出版1993
ISBN
OCLC:722274627
Modular logic programming of compilers
作者
Harald Ganzinger / Michael Hanus
出版1984
ISBN
OCLC:45935447
On Extra Variables in (equational) Logic Programmi...
作者
Michael Hanus / Max-Planck-Institut für Informatik
出版1994
ISBN
OCLC:32845817
主題
Logic programming
The Integration of Functions Into Logic Programmin...
作者
Michael Hanus
出版1994
ISBN
OCLC:1070698663
Improving Lazy Non-deterministic Computations by D...
作者
Michael Hanus
出版2012
ISBN
OCLC:863998439
Analysis of nonlinear constraints in CLP(R)
作者
Michael Hanus
出版1992
ISBN
OCLC:722348115
Algebraic and Logic Programming
作者
Michael Hanus / Mario Rodriguez-Artalejo
出版Springer, 1996-09-11
ISBN
3540617353 / 9783540617358
主題
Computers
An Evaluation Semantics for Narrowing-based Functi...
作者
Michael Hanus / Salvador Lucas
出版2000
ISBN
OCLC:247515453
A debugging model for functional logic programs
作者
Michael Hanus / Berthold Josephs
出版1993
ISBN
OCLC:29434172
主題
Logic programming
A Debugging Model for Functional Logic Programs
作者
Michael Hanus / Berthold Josephs
出版1993
ISBN
OCLC:1068480168
主題
Logic programming
Kiel Declarative Programming Days 2013
出版2013
ISBN
OCLC:931488607
Public Pension Accounting and Reporting
作者
Paul Zorn / Michael Hanus
出版1987
ISBN
0891251219 / 9780891251217
主題
Old age pensions
Software for Public Pension and Benefit Administra...
作者
Paul Zorn / Michael Hanus
出版1987
ISBN
0891251189 / 9780891251187
主題
Computer programs
Membrane Technology
作者
Karl Dahm / Denise Hanus / Michael Semmens / Water Environment Research Foundation
出版2000
ISBN
UOM:39015050468951
主題
Biofilms
Algebraic and Logic Programming
作者
Michael Hanus / Mario Rodriguez-Artalejo
出版Springer, 1996-09-11
ISBN
3540617353 / 9783540617358
主題
Computers
Problemlösen mit PROLOG
作者
Michael Hanus
出版1986
ISBN
3519025418 / 9783519025412
Chronicles of the Republic
作者
Michael McGinty
出版AuthorHouse, 2012-10
ISBN
9781477225585 / 1477225587
主題
Fiction
Results of Spirit-leveling, Fiscal Year 1900-'01,
作者
Herbert Michael Wilson / John Henry Renshawe / Edward Morehouse Douglas / Richard Urquhart Goode
出版1901
ISBN
STANFORD:36105019712285
主題
United States
Intelligent Agents
作者
Michael J. Wooldridge
出版Springer Science & Business Media, 1995-01-26
ISBN
3540588558 / 9783540588559
主題
Computers
CBD
作者
Leonard Leinow / Juliana Birnbaum / Michael H. Moskowitz, M.D.
出版North Atlantic Books, 2017-10-31
ISBN
9781623171841 / 1623171849
主題
Health & Fitness
The Evolution of Agency
作者
Michael Tomasello
出版MIT Press, 2022-09-06
ISBN
9780262047005 / 0262047004
主題
Science
The Struggle for Control of Public Education
作者
Michael Engel
出版Temple University Press, 2000
ISBN
1566397413 / 9781566397414
主題
Education