募捐 9月15日2024 – 10月1日2024 关于筹款

Logic programming : proceedings of the 1996 Joint...

Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

Michael Maher
0 / 0
0 comments
你有多喜欢这本书？
下载文件的质量如何？
下载该书，以评价其质量
下载文件的质量如何？
种类:
Computers - Computer Science
年:
1996
出版社:
MIT
语言:
english
页:
561
ISBN 10:
0262631733
ISBN 13:
9780262631730
文件:
PDF, 51.85 MB
IPFS:
CID , CID Blake2b
english, 1996
下载 (pdf, 51.85 MB)
  • Checking other formats...
    • 解锁大于 8  MB 的文件转换Premium
    正在转换
    转换为 失败

    关键词

     
    programs
    programming
    copyrighted
    constraint
    prolog
    stable
    clause
    variables
    models
    predicate
    defined
    algorithm
    constraints
    abstract
    clauses
    analysis
    graph
    figure
    atoms
    function
    systems
    delay
    execution
    goal
    sets
    theorem
    implementation
    parallel
    atom
    method
    clp
    input
    predicates
    answers
    narrowing
    database
    obtained
    consider
    interpretation
    reasoning
    proc
    stack
    linear
    computation
    node
    argument
    approach
    founded
    calls
    output
    deduction
    framework
    unification
    formula
    recursive
    calculus
    parallelism
    step
    literals
    define