caa a22 4500 378942824 CHVBK 20180305123657.0 cr unu---uuuuu 161128e20040301xx s 000 0 eng 10.1524/itit.46.3.162.34218 doi (NATIONALLICENCE)gruyter-10.1524/itit.46.3.162.34218 Logik und Informatik (Logic and Computer Science) [Elektronische Daten] [Stephan Kreutzer, Nicole Schweikardt] Logic and Computer Science Als eine ihrer wichtigsten theoretischen Grundlagen hat die Logik Bedeutung für fast alle Bereiche der Informatik. Wir wollen diese hier anhand der Bereiche Datenbanken, automatische Verifikation und Komplexitätstheorie erläutern und dabei die Fragestellungen und Ergebnisse unserer beiden Dissertationen vorstellen. © 2004 Oldenbourg Wissenschaftsverlag GmbH Communications engineering / telecommunications nationallicence Data in computer systems nationallicence Systems management nationallicence Kreutzer Stephan aut Schweikardt Nicole aut it - Information Technology (vormals it+ti)/Methoden und innovative Anwendungen der Informatik und Informationstechnik Oldenbourg Wissenschaftsverlag GmbH 46/3/2004(2004-03-01), 162-166 1611-2776 46:3/2004<162 2004 46 itit https://doi.org/10.1524/itit.46.3.162.34218 text/html Onlinezugriff via DOI 1 research article jats NATIONALLICENCE 856 40 https://doi.org/10.1524/itit.46.3.162.34218 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Kreutzer Stephan aut NATIONALLICENCE 700 1- Schweikardt Nicole aut NATIONALLICENCE 773 0- it - Information Technology (vormals it+ti)/Methoden und innovative Anwendungen der Informatik und Informationstechnik Oldenbourg Wissenschaftsverlag GmbH 46/3/2004(2004-03-01), 162-166 1611-2776 46:3/2004<162 2004 46 itit CC0 http://creativecommons.org/publicdomain/zero/1.0 nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-gruyter