> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Satisfiability Checking in Łukasiewicz Logic as Finite Constraint Satisfaction Beteiligte: Schockaert, Steven; Janssen, Jeroen; Vermeir, Dirk Erschienen: Springer Science and Business Media LLC, 2012 Erschienen in: Journal of Automated Reasoning, 49 (2012) 4, Seite 493-550 Sprache: Englisch DOI: 10.1007/s10817-011-9227-0 ISSN: 0168-7433; 1573-0670 Schlagwörter: Artificial Intelligence ; Computational Theory and Mathematics ; Software Entstehung: Anmerkungen: