> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Logic program synthesis from incomplete specifications Beteiligte: Flener, Pierre; Deville, Yves Erschienen: Elsevier BV, 1993 Erschienen in: Journal of Symbolic Computation, 15 (1993) 5-6, Seite 775-805 Sprache: Englisch DOI: 10.1016/s0747-7171(06)80012-x ISSN: 0747-7171 Schlagwörter: Computational Mathematics ; Algebra and Number Theory Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang