登入選單
Google圖書搜尋
A Structure of Finite Signature with P
出版2004
ISBN
OCLC:931002904
Eine Struktur endlicher Signatur mit Identitätsrel...
出版2004
ISBN
OCLC:931008097
An Introduction to a Model of Abstract Computation...
作者
Christine Gaßner
出版2019
ISBN
OCLC:1178995702
Über die Konstruktion von Strukturen endlicher Sig...
出版2004
ISBN
OCLC:930999355
Deterministic Operators for BSS RAM's I
作者
Christine Gaßner
出版2017
ISBN
OCLC:1162849269
Ein Erweitertes Boxenmodel Für Anfragen in PROLOG
出版2008
ISBN
OCLC:931007825
NP [Teilmenge] DEC und N
出版2004
ISBN
OCLC:931008923
Computability and Reducibility
作者
Ulrich Berger / Vasco Brattka / Christine Gaßner / Guido Gherardi / Rupert Hölzl / Arno Pauly / Robert Rettinger / Philipp Schlicht / Matthias Schröder / Karen Seidel / Florian Steinberg / Xizhong Zheng
出版2017
ISBN
OCLC:1162849377
Computability and Logic
作者
Hannes Diener / Christine Gaßner / Philipp Schlicht / Isabel Schwende / Dieter Spreen
出版2012
ISBN
OCLC:1304806615
Das Auswahlaxiom im Prädikatenkalkül zweiter Stufe
作者
Christine Gassner
出版1985
ISBN
OCLC:256189339
Helden am Ende
作者
Monica Rüthers / Alexandra Köhring
出版Campus Verlag, 2014-04-10
ISBN
9783593422862 / 3593422867
主題
History