Skip to content
NovaLib
  • Sample Page
  • library
NovaLib
  • Sample Page
Library / Foundations of logic programming

File hashes

MD5
5fef5e2f5bf114a9448fc21f91bf3965
SHA1
PEBNBZVIH55LE4KL7BAMB72S3BUX3CEX
SHA256
d93ba421c1d03119ceebb3debd00c0c4 1305a8f411759211d5741667c230f307
AICH
DFT5A5WPPPN65MO2VPBKFDRU77ETSEZU
CRC32
71fcced3
eDonkey
21f19852b2416d4add589655ee34a65b
TTH
GOYHO6NR62GUKIOFDU5XT3QMP7LYCBSGO4BEONI

Available files

  • DJVU

Download Link

Direct link IPFS Cloudflare Pinata
ENGLISH

Foundations of logic programming

By John Wylie Lloyd (auth.)

Book information

Publisher
Springer Berlin Heidelberg
Year
1984
ISBN
9783642968280
DOI
10.1007/978-3-642-96826-6
Language
english
Format
DJVU
Filesize
858 kB (878769 bytes)
Series
Symbolic Computation / Artificial Intelligence
Edition
1ed.
Pages
135\135
Library
Kolxo3
DPI
600
Time added
2013-12-29 19:00:00
Artificial Intelligence (incl. Robotics); MathematCompilersInterpreters

Similar books

LIBRARY

Logic Grammars

1989 · PDF

Foundations of Logic Programming

Foundations of Logic Programming

1984 · PDF

Foundations of Equational Logic Programming

Foundations of Equational Logic Programming

1989 · DJVU

Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

2002 · PDF

Crafting Interpreters

Crafting Interpreters

2021 · PDF

Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

2020 · PDF

Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers

Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers

2020 · PDF

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

2020 · PDF

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme