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

File hashes

MD5
c5a177b57e39a265f9829ee156d2b0b7
SHA1
XDYRPSKJPYJ4AT23V7LXM7V7TYWB7ZDO
SHA256
06f0f3a64d8beeccacbc184f0088f21a a197f187898fecbee6ffc8fa57a20f05
AICH
PR24BPCROK3EXAH47FMOSL4NWY5E44A5
CRC32
9de2de75
eDonkey
eca1769c8193bcbb45b5565c62769bdf
TTH
EQXI7WTMLRSK5HWLB3NWGMEWKVRPQ3KERFFUODA

Available files

  • PDF

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
PDF
Filesize
5 MB (5370648 bytes)
Series
Lecture Notes in Computer Science 238
Edition
1
Pages
124\129
Orientation
no
Scanned
yes
Time added
2012-02-04 16:00:00
CompilersInterpretersMathematical Logic and Formal Languages; Programmi

Similar books

LIBRARY

Negation and Control in Prolog

1986 · PDF

LIBRARY

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

1984 · PDF

LIBRARY

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

1984 · DJVU

LIBRARY

Negation and Control in Prolog

1986 · DJVU

LIBRARY

Crafting Interpreters

2021 · PDF

LIBRARY

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

LIBRARY

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

2020 · PDF

LIBRARY

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