Skip to main content

Declarative Logic Programming Cover

Declarative Logic Programming

Theory, Systems, and Applications

Publisher:Association for Computing Machinery

By: Kifer Michael and Yanhong Liu

Paid access

|Feb 2025

E-Book €61.00Institutions €183.00

E-Book €61.00Institutions €183.00

Metrics

PDF ISBN: 978-1-970001-97-6 | E-Pub ISBN: 978-1-970001-98-3

Publisher: Association for Computing Machinery

Copyright owner: © 2018 Association for Computing Machinery

Publication date: 2025

Language: English

Pages: 615

Related subjects:

Computer sciences,

Computer sciences, other

People also read

.blurhash-client-img { display: none !important; }

Modern Programming Languages: 2nd Edition

Adam Brooks Webber

.blurhash-client-img { display: none !important; }

Formal Language

Adam Brooks Webber

.blurhash-client-img { display: none !important; }

Discrete Mathematics and Functional Programming

Thomas VanDrunen

.blurhash-client-img { display: none !important; }

Effective Theories in Programming Practice

.blurhash-client-img { display: none !important; }

Programming Language Implementation

.blurhash-client-img { display: none !important; }

Theories of Programming

Jones Cliff, Jayadev Misra

.blurhash-client-img { display: none !important; }

Concurrency:

.blurhash-client-img { display: none !important; }

Clojure Data Structures and Algorithms Cookbook

.blurhash-client-img { display: none !important; }

A Handbook of Computational Linguistics: Artificial Intelligence in Natural Language Processing

Youddha Beer Singh, Aditya Dev Mishra, Pushpa Singh, Dileep Kumar Yadav

.blurhash-client-img { display: none !important; }

Formal Verification of Just-in-Time Compilation

Aurèle Barrière