| Author | Schöning, Uwe | dc.contributor.author |
| Date of accession | 2021-01-12T13:37:15Z | dc.date.accessioned |
| Available in OPARU since | 2021-01-12T13:37:15Z | dc.date.available |
| Date of first publication | 1995 | dc.date.issued |
| ISBN | 386025684X | dc.identifier.isbn |
| Language | de | dc.language.iso |
| Publisher | Universität Ulm | dc.publisher |
| Dewey Decimal Group | DDC 004 / Data processing & computer science | dc.subject.ddc |
| LCSH | Logic, Symbolic and mathematical | dc.subject.lcsh |
| LCSH | Logic programming | dc.subject.lcsh |
| Title | Logik für Informatiker | dc.title |
| Resource type | Buch | dc.type |
| PPN | 171880242 | dc.identifier.ppn |
| GND | Logische Programmierung | dc.subject.gnd |
| GND | Mathematische Logik | dc.subject.gnd |
| Faculty | Fakultät für Ingenieurwissenschaften, Informatik und Psychologie | uulm.affiliationGeneral |
| Institution | Institut für Theoretische Informatik | uulm.affiliationSpecific |
| Edition | 4., überarb. Aufl. | uulm.edition |
| DCMI Type | Text | uulm.typeDCMI |
| Category | Publikationsnachweise | uulm.category |
| Series | Spektrum Lehrbuch: Reihe Informatik | uulm.series |
| Series | Reihe Informatik | uulm.series |
| Place of publication | Heidelberg [u.a.] | uulm.publisherPlace |
| Publisher | Spektrum, Akad. Verl. | uulm.publisherName |
| University Bibliography | ja | uulm.unibibliographie |
