Logik und Informatik (Logic and Computer Science)
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 378942824 | ||
| 003 | CHVBK | ||
| 005 | 20180305123657.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 161128e20040301xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1524/itit.46.3.162.34218 |2 doi |
| 035 | |a (NATIONALLICENCE)gruyter-10.1524/itit.46.3.162.34218 | ||
| 245 | 0 | 0 | |a Logik und Informatik (Logic and Computer Science) |h [Elektronische Daten] |c [Stephan Kreutzer, Nicole Schweikardt] |
| 246 | 1 | |a Logic and Computer Science | |
| 520 | 3 | |a 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. | |
| 540 | |a © 2004 Oldenbourg Wissenschaftsverlag GmbH | ||
| 690 | 7 | |a Communications engineering / telecommunications |2 nationallicence | |
| 690 | 7 | |a Data in computer systems |2 nationallicence | |
| 690 | 7 | |a Systems management |2 nationallicence | |
| 700 | 1 | |a Kreutzer |D Stephan |4 aut | |
| 700 | 1 | |a Schweikardt |D Nicole |4 aut | |
| 773 | 0 | |t it - Information Technology (vormals it+ti)/Methoden und innovative Anwendungen der Informatik und Informationstechnik |d Oldenbourg Wissenschaftsverlag GmbH |g 46/3/2004(2004-03-01), 162-166 |x 1611-2776 |q 46:3/2004<162 |1 2004 |2 46 |o itit | |
| 856 | 4 | 0 | |u https://doi.org/10.1524/itit.46.3.162.34218 |q text/html |z Onlinezugriff via DOI |
| 908 | |D 1 |a research article |2 jats | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1524/itit.46.3.162.34218 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Kreutzer |D Stephan |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Schweikardt |D Nicole |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t it - Information Technology (vormals it+ti)/Methoden und innovative Anwendungen der Informatik und Informationstechnik |d Oldenbourg Wissenschaftsverlag GmbH |g 46/3/2004(2004-03-01), 162-166 |x 1611-2776 |q 46:3/2004<162 |1 2004 |2 46 |o itit | ||
| 900 | 7 | |b CC0 |u http://creativecommons.org/publicdomain/zero/1.0 |2 nationallicence | |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-gruyter | ||