Extensions of Logic Programming (Record no. 35277)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03251nam a22005175i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783540471141 |
-- | 978-3-540-47114-1 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 006.3 |
245 10 - TITLE STATEMENT | |
Title | Extensions of Logic Programming |
Sub Title | Second International Workshop, ELP '91 Stockholm, Sweden, January 27–29, 1991 Proceedings / |
Statement of responsibility, etc | edited by L. -H. Eriksson, L. Hallnäs, P. Schroeder-Heister. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Berlin, Heidelberg : |
Name of publisher | Springer Berlin Heidelberg, |
Year of publication | 1992. |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | VIII, 376 p. |
Other physical details | online resource. |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | 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 ## - SUMMARY, ETC. | |
Summary, etc | 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. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Artificial intelligence. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Artificial Intelligence (incl. Robotics). |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Programming Techniques. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Eriksson, L. -H. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Hallnäs, L. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Schroeder-Heister, P. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://dx.doi.org/10.1007/BFb0013601 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | E-BOOKS |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg, |
-- | 1992. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
-- | 0302-9743 ; |
Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
---|---|---|---|---|---|---|---|
IMSc Library | EBK5983 | http://dx.doi.org/10.1007/BFb0013601 | E-BOOKS |