|
|
|
|
LEADER |
00000nam a22000005i 4500 |
001 |
b3211063 |
003 |
MWH |
005 |
20191023132953.0 |
007 |
cr nn 008mamaa |
008 |
121227s1992 gw | s |||| 0|eng d |
020 |
|
|
|a 9783540471141
|
024 |
7 |
|
|a 10.1007/BFb0013601
|2 doi
|
035 |
|
|
|a (DE-He213)978-3-540-47114-1
|
050 |
|
4 |
|a E-Book
|
072 |
|
7 |
|a UMZ
|2 bicssc
|
072 |
|
7 |
|a COM051230
|2 bisacsh
|
072 |
|
7 |
|a UMZ
|2 thema
|
072 |
|
7 |
|a UL
|2 thema
|
245 |
1 |
0 |
|a Extensions of Logic Programming
|h [electronic resource] :
|b Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings /
|c edited by Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister.
|
250 |
|
|
|a 1st ed. 1992.
|
264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 1992.
|
300 |
|
|
|a VIII, 376 p.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Lecture Notes in Artificial Intelligence ;
|v 596
|
490 |
1 |
|
|a Springer eBook Collection
|
505 |
0 |
|
|a Methodology and programming techniques in GCLA II -- Extended logic-plus-functional Programming -- Open logic theories -- A finitary version of the calculus of partial inductive definitions -- A logic programming approach to implementing higher-Order term rewriting -- An overview of the Andorra Kernel Language -- Logical and computational invariants of programs -- Implementing ?-calculus reduction strategies in extended logic programming languages -- Terminological reasoning and partial inductive definitions -- GCLA II A definitional approach to control -- Natural semantics and some of its meta-theory in Elf -- The near-Horn approach to disjunctive logic programming.
|
520 |
|
|
|a This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991. The 12 papers describe and discuss several approaches to extensions of logic programming languages such as PROLOG, as well as connections between logic programming and functional programming, theoretical foundations of extensions, applications, and programming methodologies. The first workshop in this series was held in T}bingen in 1989 and its proceedings areavailable as LNCS 475. The third workshop will be held in Bologna in 1992.
|
590 |
|
|
|a Loaded electronically.
|
590 |
|
|
|a Electronic access restricted to members of the Holy Cross Community.
|
650 |
|
0 |
|a Software engineering.
|
650 |
|
0 |
|a Artificial intelligence.
|
650 |
|
0 |
|a Computer programming.
|
690 |
|
|
|a Electronic resources (E-books)
|
700 |
1 |
|
|a Eriksson, Lars-Henrik.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
700 |
1 |
|
|a Hallnäs, Lars.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
700 |
1 |
|
|a Schroeder-Heister, Peter.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer eBooks
|
830 |
|
0 |
|a Lecture Notes in Artificial Intelligence ;
|v 596
|
830 |
|
0 |
|a Springer eBook Collection.
|
856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/BFb0013601
|3 Click to view e-book
|t 0
|
907 |
|
|
|a .b32110637
|b 04-18-22
|c 02-26-20
|
998 |
|
|
|a he
|b 02-26-20
|c m
|d @
|e -
|f eng
|g gw
|h 0
|i 1
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-LNC
|
912 |
|
|
|a ZDB-2-BAE
|
950 |
|
|
|a Computer Science (Springer-11645)
|
902 |
|
|
|a springer purchased ebooks
|
903 |
|
|
|a SEB-COLL
|
945 |
|
|
|f - -
|g 1
|h 0
|j - -
|k - -
|l he
|o -
|p $0.00
|q -
|r -
|s b
|t 38
|u 0
|v 0
|w 0
|x 0
|y .i21242288
|z 02-26-20
|
999 |
f |
f |
|i 87819972-4957-5d6f-97eb-ec1d472de6f8
|s e8e65c3f-7037-582b-8280-762fb2683df0
|t 0
|
952 |
f |
f |
|p Online
|a College of the Holy Cross
|b Main Campus
|c E-Resources
|d Online
|t 0
|e E-Book
|h Library of Congress classification
|i Elec File
|