PublikationenPublications im Netzonline

Zitierformate Citation formats

Barer Text Plain Text als Dateias file

Jäger, Gerhard; Pohlers, Wolfram: Eine beweistheoretische Untersuchung von (Delta12-CA) + (BI) und verwandter Systeme. München 1983. Sitzungsberichte: 1982,1. https://publikationen.badw.de/en/001077193

RIS als Dateias file

TY - BOOK
AU - Jäger, Gerhard
AU - Pohlers, Wolfram
T1 - Eine beweistheoretische Untersuchung von (Delta12-CA) + (BI) und verwandter Systeme
CY - München
PY - 1983
T3 - Sitzungsberichte
VL - 1982,1
UR - https://publikationen.badw.de/en/001077193
ER -

BibTex als Dateias file

@Book{JägerPohlers1983,
author  = "Jäger, Gerhard and Pohlers, Wolfram",
title   = "Eine beweistheoretische Untersuchung von (Delta12-CA) + (BI) und verwandter Systeme",
year    = "1983",
address = "München",
series  = "Sitzungsberichte",
volume  = "1982,1",
url     = "https://publikationen.badw.de/en/001077193",
}