LEADER 02985nam  22005175  450 
001 996465680903316
005 20200706112124.0
010   $a3-540-39126-6
024 7 $a10.1007/3-540-19129-1
035   $a(CKB)1000000000230742
035   $a(SSID)ssj0000323271
035   $a(PQKBManifestationID)11242464
035   $a(PQKBTitleCode)TC0000323271
035   $a(PQKBWorkID)10300112
035   $a(PQKB)10746358
035   $a(DE-He213)978-3-540-39126-5
035   $a(PPN)155234099
035   $a(EXLCZ)991000000000230742
100   $a20121227d1988      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFoundations of Logic and Functional Programming$b[electronic resource] $eWorkshop, Trento, Italy, December 15-19, 1986. Proceedings /$fedited by Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi
205   $a1st ed. 1988.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1988.
215   $a1 online resource (VIII, 224 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v306
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-19129-1 
327   $aRum an intensional theory of function and control abstractions -- Typechecking dependent types and subtypes -- Reducing recursion to iteration by means of pairs and N-tuples -- Unification revisited -- Rule rewriting methods for efficient implementations of horn logic -- PAP: a logic programming system based on a constructive logic -- A completeness result for E-unification algorithms based on conditional narrowing -- Representing domain structure of many-sorted Prolog knowledge bases -- Horn: An inference engine prototype to implement intelligent systems -- Hints for the design of a set calculus oriented to Automated Deduction.
330   $aThis volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. This book contains five papers contributed by the invited speakers and five selected contributions.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v306
606   $aComputer programming
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aComputer programming.
615 14$aProgramming Techniques.
676   $a005.11
702   $aBoscarol$b Mauro$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCarlucci Aiello$b Luigia$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLevi$b Giorgio$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465680903316
996   $aFoundations of logic and functional programming$9382927
997   $aUNISA