> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Simple LPO constraint solving methods Beteiligte: Nieuwenhuis, Robert Erschienen: Elsevier BV, 1993 Erschienen in: Information Processing Letters, 47 (1993) 2, Seite 65-69 Sprache: Englisch DOI: 10.1016/0020-0190(93)90226-y ISSN: 0020-0190 Schlagwörter: Computer Science Applications ; Information Systems ; Signal Processing ; Theoretical Computer Science Entstehung: Anmerkungen: