Lars-Henrik Eriksson,
Lars Hallnäs,
Peter Schroeder-Heister
Extensions of Logic Programming
Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
Paperback Engels 1992 1992e druk 9783540554981
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783540554981
Taal:Engels
Bindwijze:paperback
Aantal pagina's:376
Uitgever:Springer Berlin Heidelberg
Druk:1992
Hoofdrubriek:Programmeren, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
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.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan