Skip to content
NovaLib
  • Sample Page
  • library
NovaLib
  • Sample Page
Library / Negation and Control in Prolog

File hashes

MD5
5641a737dc80c7d04d07f3e054901839
SHA1
233MAHNDZHAOTDNC7N6FFVPY5REQE2QJ
SHA256
2c93f224d1d8eb6248a036f931791087 7e6a4ac5617b9752dd1c9cbb215cb0da
AICH
4RXL653TWTQR6HSVP6MH2KF2XJCLTMVU
CRC32
71ff8065
eDonkey
15d33b6a2512092448bb240ad2675018
TTH
GOZQJJ544OJEX2O2UQZKHE5CWYG343HRIUHKBVY

Available files

  • DJVU

Download Link

Direct link IPFS Cloudflare Pinata
ENGLISH

Negation and Control in Prolog

By Lee Naish (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1986
ISBN
354016815X, 9783540168157
DOI
10.1007/BFb0021681
Language
english
Format
DJVU
Filesize
1 MB (1312491 bytes)
Series
Lecture Notes in Computer Science 238
Edition
1
Pages
124\129
Topic
Computers
Library
Kolxo3
DPI
300
Time added
2010-11-11 16:01:50
CompilersInterpretersMathematical Logic and Formal Languages; Programmi

Similar books

Negation and Control in Prolog

Negation and Control in Prolog

1986 · PDF

Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings

Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings

1984 · PDF

Negation and Control in Prolog

Negation and Control in Prolog

1986 · PDF

Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings

Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27 – 29, 1984 Proceedings

1984 · DJVU

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