Katalog der Deutschen Nationalbibliothek


Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Materialarten:  Online Ressourcen
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Am Dienstag, den 11.06.2024 ist die Deutsche Nationalbibliothek in Frankfurt am Main wegen eines Betriebsausflugs geschlossen.
 
 
 


Ergebnis der Suche nach: tit all "Parameterised complexity of model checking and satisfiability in propositional dependence logic"
im Bestand: Gesamter Bestand

1 - 2 von 2
<< < > >>


Online Ressourcen 1 Parameterised complexity of model checking and satisfiability in propositional dependence logic
Mahmood, Yasir. - Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2021
Online Ressource
Artikel 2 Parameterised complexity of model checking and satisfiability in propositional dependence logic
Enthalten in Annals of mathematics and artificial intelligence 27.2.2021: 1-26
Online Ressource


1 - 2 von 2
<< < > >>


E-Mail-IconAdministration