|
|
|
|
| LEADER |
00000cam a2200000Ma 4500 |
| 001 |
b7994732 |
| 006 |
m o d |
| 007 |
cr ||||||||||| |
| 008 |
121227s1985 ne o 000 0 eng d |
| 005 |
20240418144953.2 |
| 019 |
|
|
|a 935045957
|a 936334111
|
| 020 |
|
|
|a 9789400950443
|q (electronic bk.)
|
| 020 |
|
|
|a 9400950446
|q (electronic bk.)
|
| 035 |
|
|
|a (OCoLC)spr840305784
|
| 035 |
|
|
|a (OCoLC)840305784
|z (OCoLC)935045957
|z (OCoLC)936334111
|
| 037 |
|
|
|a spr10.1007/978-94-009-5044-3
|
| 040 |
|
|
|a I9W
|b eng
|e pn
|c I9W
|d OCLCQ
|d UV0
|d OCLCO
|d GW5XE
|d OCLCF
|d UA@
|d OCLCQ
|d EBLCP
|d OCLCQ
|
| 049 |
|
|
|a GWRE
|
| 050 |
|
4 |
|a Q334-342
|
| 100 |
1 |
|
|a Balbin, Isaac.
|
| 245 |
1 |
0 |
|a Logic Programming :
|b a Classified Bibliography /
|c by Isaac Balbin, Koenraad Lecot.
|
| 260 |
|
|
|a Dordrecht :
|b Springer Netherlands,
|c 1985.
|
| 300 |
|
|
|a 1 online resource (360 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent.
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia.
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier.
|
| 505 |
0 |
|
|a 1 Introductory Papers to Logic Programming and Prolog -- 2 Theoretical Issues of Logic Programming -- 3 Unification -- Theory and Practice -- 4 Semantics of Prolog and Logic Programming in General -- 5 Implementation Issues of Logic Programming Languages -- 6 Programming Concepts in Logic Programming -- 7 Alternatives to Prolog as a Logic Programming Language -- 8 Papers Related to Fifth Generation Computer Systems -- 9 Harware Architectures for Logic Programming -- 10 Parallelism and Logic Programming -- 11 Concurrent Prolog -- 12 Functional Programming and Equality: their Relationship with Logic Programming -- 13 Various Application Areas of Logic Programming -- 14 Application of Logic Programming to Expert Systems -- 15 Databases -- Relationship with Logic Programming -- 18 Grammar Formalisms for Natural Language Processing -- 17 Knowledge Representation Issues in Logic Programming -- 18 Logic Programming in Learning Systems -- 19 Amalgamation of Object and Meta Level -- Permuted Subject Index -- Author Index.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
7 |
|a Artificial intelligence.
|2 fast
|0 (OCoLC)fst00817247.
|
| 650 |
|
7 |
|a Computer science.
|2 fast
|0 (OCoLC)fst00872451.
|
| 700 |
1 |
|
|a Lecot, Koenraad.
|
| 776 |
0 |
8 |
|i Print version:
|a Balbin, Isaac.
|t Logic Programming : A Classified Bibliography.
|d Dordrecht : Springer Netherlands, ©1985
|z 9780908069156.
|
| 856 |
4 |
0 |
|u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-94-009-5044-3
|z Full Text (via Springer)
|
| 907 |
|
|
|a .b79947323
|b 07-02-19
|c 06-01-15
|
| 998 |
|
|
|a web
|b 05-01-17
|c f
|d b
|e -
|f eng
|g ne
|h 0
|i 1
|
| 907 |
|
|
|a .b79947323
|b 05-09-17
|c 06-01-15
|
| 915 |
|
|
|a M
|
| 956 |
|
|
|a Springer e-books
|
| 956 |
|
|
|b Springer Nature - Springer Book Archive - Springer Computer Science
|
| 956 |
|
|
|a Computer Science
|
| 956 |
|
|
|a Springer e-books: Archive
|
| 999 |
f |
f |
|i 66ca69c5-ee04-5523-9259-1ca6d9127bf4
|s b9b520e3-1e1d-52b3-8e28-4d8e856993ad
|
| 952 |
f |
f |
|p Can circulate
|a University of Colorado Boulder
|b Online
|c Online
|d Online
|e Q334-342
|h Library of Congress classification
|i Ebooks, Prospector
|n 1
|
