登入選單
Google圖書搜尋
Feasible Mathematics II
作者
Peter Clote / Jeffrey B. Remmel
出版1995
ISBN
3764336757 / 9783764336752
主題
Computational complexity
Polynomial Time Categoricity and Linear Orderings
作者
Jeffrey B. Remmel
出版1993
ISBN
CORNELL:31924075360069
Co-recursively Enumerable Structures
作者
Jeffrey B. Remmel
出版1974
ISBN
CORNELL:31924001073471
主題
Categories (Mathematics)
Exact Formulas for the Plethysms S2[S(1a,b)] and S...
作者
J. O. Carbonara / M. Yang / Jeffrey B. Remmel
出版1992
ISBN
CORNELL:31924063436442
Permutation Enumeration of the Symmetric Group and...
作者
Desiree A. Beck / Jeffrey B. Remmel
出版1993
ISBN
CORNELL:31924067536585
On the Kronecker Product of Schur Functions of Two...
作者
Jeffrey B. Remmel / Tamsen Whitehead
出版1993
ISBN
CORNELL:31924067536569
Effectively and Noneffectively Nowhere Simple Subs...
作者
R. G. Downey
出版1993
ISBN
CORNELL:31924075360077
主題
Algebraic spaces
Nonmonotonic Rule Systems with Recursive Sets of R...
作者
V. Wiktor Marek / Anil Nerode / Jeffrey B. Remmel
出版1994
ISBN
CORNELL:31924072744943
Toward a Theory of Hybrid Knowledge Bases
作者
James J. Lu / Anil Nerode / V. S. Subrahmanian / Jeffrey B. Remmel
出版1993
ISBN
CORNELL:31924063233906
Controllers as Fixed Points of Set-valued Operator...
作者
Anil Nerode / Jeffrey B. Remmel / Alexander Yakhnis
出版1995
ISBN
CORNELL:31924072973633
Recursively Presented Games and Strategies
作者
Douglas Cenzer / Jeffrey B. Remmel
出版1991
ISBN
CORNELL:31924063313658
Hybrid Systems as Finsler Manifolds
作者
Wolf Kohn (Engineer)
出版1995
ISBN
CORNELL:31924072973658
On Speedable and Levelable Vector Spaces
作者
Frank A. Bauerle / Jeffrey B. Remmel
出版1993
ISBN
CORNELL:31924067760763
Viability in Hybrid Systems
作者
Wolf Kohn (Engineer) / Anil Nerode / Alexander Yakhnis / Jeffrey B. Remmel
出版1994
ISBN
CORNELL:31924068823859
The Stable Models of a Predicate Logic Program1
作者
V. Wiktor Marek / Anil Nerode / Jeffrey B. Remmel
出版1992
ISBN
CORNELL:31924063436434
McNaughton Games and Extracting Strategies for Con...
作者
Anil Nerode / Jeffrey B. Remmel / Alexander Yakhnis
出版1995
ISBN
CORNELL:31924072973625
Algorithms for Chattering Approximations to Relaxe...
作者
Xiaolin Ge / Anil Nerode / Wolf Kohn / Jeffrey B. Remmel
出版1995
ISBN
CORNELL:31924072744463
Hybrid System Games
作者
Anil Nerode / Alexander Yakhnis / Jeffrey B. Remmel
出版1993
ISBN
CORNELL:31924067536833
Agents in Multiple Agent Hybrid Control
作者
Wolf Kohn (Engineer) / Anil Nerode / Jeffrey B. Remmel
出版1993
ISBN
CORNELL:31924067536841
Exact Formulas for the Plethysms S2[S(1a,b)] and S...
作者
J. O. Carbonara / M. Yang / Jeffrey B. Remmel
出版1992
ISBN
CORNELL:31924063436442
On Speedable and Levelable Vector Spaces
作者
Frank A. Bauerle / Jeffrey B. Remmel
出版1993
ISBN
CORNELL:31924067760763
McNaughton Games and Extracting Strategies for Con...
作者
Anil Nerode / Jeffrey B. Remmel / Alexander Yakhnis
出版1995
ISBN
CORNELL:31924072973617
Polynomial Time Categoricity and Linear Orderings
作者
Jeffrey B. Remmel
出版1993
ISBN
CORNELL:31924075360069
Viability in Hybrid Systems
作者
Wolf Kohn (Engineer) / Anil Nerode / Alexander Yakhnis / Jeffrey B. Remmel
出版1994
ISBN
CORNELL:31924072744869
The Stable Models of a Predicate Logic Program1
作者
V. Wiktor Marek / Anil Nerode / Jeffrey B. Remmel
出版1992
ISBN
CORNELL:31924063436434
Agents in Multiple Agent Hybrid Control
作者
Wolf Kohn (Engineer) / Anil Nerode / Jeffrey B. Remmel
出版1993
ISBN
CORNELL:31924067536841
Nonmonotonic Rule Systems with Recursive Sets of R...
作者
V. Wiktor Marek / Anil Nerode / Jeffrey B. Remmel
出版1994
ISBN
CORNELL:31924072744943
Toward a Theory of Hybrid Knowledge Bases
作者
James J. Lu / Anil Nerode / V. S. Subrahmanian / Jeffrey B. Remmel
出版1993
ISBN
CORNELL:31924063233906
Controllers as Fixed Points of Set-valued Operator...
作者
Anil Nerode / Jeffrey B. Remmel / Alexander Yakhnis
出版1995
ISBN
CORNELL:31924072973633
Permutation Enumeration of the Symmetric Group and...
作者
Desiree A. Beck / Jeffrey B. Remmel
出版1993
ISBN
CORNELL:31924067536585