登入選單
Google圖書搜尋
Existentiell schwache Vollständigkeit der Logik zw...
作者
Peter Päppinghaus
出版1977
ISBN
OCLC:67184106
Yet Another Proof of Brook's Theorem
作者
Peter Päppinghaus
出版1979
ISBN
OCLC:551695850
Ptykes in Gödel's T und verallgemeinerte Rekursion...
作者
Peter Päppinghaus
出版1985
ISBN
OCLC:256450565
Einfuhrung in die Theorie der berechenbaren Funkti...
作者
Dieter Rodding
出版1972
ISBN
OCLC:89628641
Nach e. 2stündigen Vorlesung
作者
D. Rödding / Peter Päppinghaus
出版1972
ISBN
OCLC:248471866
Einführung in die Theorie der berechenbaren Funkti...
作者
Dieter Rödding
出版1972
ISBN
OCLC:22517964
主題
Computable functions
Completeness Properties of Classical Theories of F...
作者
Peter Päppinghaus
出版1983
ISBN
STANFORD:36105032034477
主題
Logic, Symbolic and mathematical
Criteria for lower complexity bounds in recursive ...
作者
Hans-Georg Carstens / Peter Päppinghaus
出版1982
ISBN
OCLC:46105009
Recursive coloration of countable graphs
作者
Hans-Georg Carstens / Peter Päppinghaus
出版1981
ISBN
OCLC:46024169
A typed [lambda]-calculus for primitive recursive ...
作者
Peter Päppinghaus
出版1983
ISBN
OCLC:46105260
Nondeterministic Partial Logic: Isotonic and Guard...
作者
Peter Päppinghaus / Martin Wirsing
出版1981
ISBN
OCLC:61735247
主題
Logic programming
Completeness Properties of Classical Theories of F...
作者
Peter Päppinghaus
出版1983
ISBN
STANFORD:36105032034477
主題
Logic, Symbolic and mathematical
Parameterintegration zur Berechnung von Fundamenta...
作者
Peter Wagner
出版1984
ISBN
UCR:31210012615991
主題
Differential equations, Hyperbolic