Inductive synthesis of functional programs - Universal planning, folding of finite programs, and Schema Abstraction by Analogical Reasoning

DC FieldValueLanguage
dc.contributor.authorSchmid, U
dc.date.accessioned2021-12-23T16:00:52Z-
dc.date.available2021-12-23T16:00:52Z-
dc.date.issued2003
dc.identifier.isbn9783540401742
dc.identifier.issn03029743
dc.identifier.urihttps://osnascholar.ub.uni-osnabrueck.de/handle/unios/4628-
dc.language.isoen
dc.publisherSPRINGER-VERLAG BERLIN
dc.relation.ispartofINDUCTIVE SYNTHESIS OF FUNCTIONAL PROGRAMS: UNIVERSAL PLANNING, FOLDING OF FINITE PROGRAMS, AND SCHEMA ABSTRACTION BY ANALOGICAL REASONING
dc.relation.ispartofLecture Notes in Artificial Intelligence
dc.subjectACQUISITION
dc.subjectCOMPLEXITY
dc.subjectComputer Science
dc.subjectComputer Science, Artificial Intelligence
dc.subjectCYCLIC TOWERS
dc.subjectEXAMPLES
dc.subjectGRAPH
dc.subjectIDENTIFICATION
dc.subjectINFERENCE
dc.subjectLANGUAGE
dc.subjectREPRESENTATIONS
dc.subjectSIMILARITY
dc.titleInductive synthesis of functional programs - Universal planning, folding of finite programs, and Schema Abstraction by Analogical Reasoning
dc.typejournal article
dc.identifier.isiISI:000185938500001
dc.description.volume2654
dc.description.startpage1+
dc.identifier.eissn16113349
dc.publisher.placeHEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
Show simple item record

Page view(s)

1
Last Week
0
Last month
1
checked on Apr 18, 2024

Google ScholarTM

Check

Altmetric