| Record ID | marc_records_scriblio_net/part26.dat:137829324:1470 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part26.dat:137829324:1470?format=raw |
LEADER: 01470cam 2200289 a 4500
001 97030991
003 DLC
005 19971209073709.0
008 970730s1997 gw a b 101 0 eng
010 $a 97030991
020 $a3540634592 (alk. paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.63$b.A335 1997
082 00 $a005.13/1$221
245 00 $aAlgebraic and logic programming :$b6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /$cMichael Hanus, Jan Heering, Karl Meinke (eds.).
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc1997.
300 $ax, 286 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v1298
500 $a"Proceedings of the Sixth International Conference on Algebra and Logic Programming (ALP '97) and the Third International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '97), held in Southampton (Great Britain) during September 3-5, 1997"--Pref.
504 $aIncludes bibliographical references and index.
650 0 $aLogic programming$xCongresses.
650 0 $aAlgebraic logic$xCongresses.
700 1 $aHanus, Michael.
700 1 $aHeering, J.
700 1 $aMeinke, K.$q(Karl)
711 2 $aInternational Conference on Algebraic and Logic Programming$n(6th :$d1997 :$cSouthampton, England)
711 2 $aInternational Workshop on Higher-Order Algebra, Logic, and Term Rewriting$n(3rd :$d1997 :$cSouthampton, England)