Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

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

Noch nicht die passende Literatur gefunden? → Book a Librarian

Mittwoch, 22. Mai 2024: Die Deutsche Nationalbibliothek in Leipzig ist wegen eines Betriebsausflug geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind bis 18 Uhr geöffnet. // Wednesday, 22 May 2024: The German National Library in Leipzig will be closed due to a staff outing. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.

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

	1	Parameterised complexity of model checking and satisfiability in propositional dependence logic Mahmood, Yasir. - Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2021
	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

1 - 2 von 2

Alle Materialarten

Alle Standorte

Aktionen

Administration