登入選單
Google圖書搜尋
Logical Methods
作者
John N. Crossley / Jeffrey B. Remmel / Richard Shore / Moss E. Sweedler
出版Springer Science & Business Media, 1994-01-26
ISBN
0817636900 / 9780817636906
主題
Computers
Logical Methods
作者
John N. Crossley / Anil Nerode
出版1993-01-01
ISBN
3764336900 / 9783764336905
主題
Logic programming
Logic for Applications
作者
Anil Nerode / Richard A Shore
出版1993-10-28
ISBN
1468402129 / 9781468402124
On Turning Located Sets
作者
Xiaolin Ge / Anil Nerode
出版1992
ISBN
CORNELL:31924063436616
The Master in You
作者
Sri Nerode / Anil Nerode
出版2001-06-01
ISBN
097100580X / 9780971005808
Computing Definite Logic Programs by Partial Insta...
作者
Vadim Kagan / Anil Nerode / V. S. Subrahmanian
出版1993
ISBN
CORNELL:31924068363534
Effective Properties of Finitely Generated R.E. Al...
作者
Anil Nerode / Bakhadyr Khoussainov
出版1994
ISBN
CORNELL:31924068823966
A Computing Definite Logic Programs by Partial Ins...
作者
Vadim Kagan / Anil Nerode / V. S. Subrahamanian
出版1993
ISBN
CORNELL:31924067760854
Recursive Topological Algebras and Abelian Groups ...
作者
Anil Nerode / Bakhadyr Khoussainov
出版1993
ISBN
CORNELL:31924068363310
Logic and Computer Science
作者
Piergiorgio Homer Steven Odifreddi / Anil Nerode / Richard A. Platek
出版2014-01-15
ISBN
3662180669 / 9783662180662
Controllers as Fixed Points of Set-valued Operator...
作者
Anil Nerode / Jeffrey B. Remmel / Alexander Yakhnis
出版1995
ISBN
CORNELL:31924072973633
Toward a Theory of Hybrid Knowledge Bases
作者
James J. Lu / Anil Nerode / V. S. Subrahmanian / Jeffrey B. Remmel
出版1993
ISBN
CORNELL:31924063233906
Control Automata and Fixed Points of Set-valued Op...
作者
Anil Nerode / Alexander Yakhnis
出版1993
ISBN
CORNELL:31924067536809
An Example of Extraction of a Finite Control Autom...
作者
Anil Nerode / Alexander Yakhnis
出版1993
ISBN
CORNELL:31924067536817
Computing Circumscriptive Deductive Databases
作者
Anil Nerode / Raymond T. Ng / V. S. Subrahmanian
出版1991
ISBN
CORNELL:31924063313948
Computing Circumscriptive Databases
作者
Anil Nerode / Raymond T. Ng / V. S. Subrahmanian
出版1992
ISBN
CORNELL:31924063314011
主題
Relational databases
A Multiple Agent Hybrid Control Architecture for A...
作者
Xiaolin Ge / Anil Nerode / John James
出版1995
ISBN
CORNELL:31924072744588
McNaughton Games and Extracting Strategies for Con...
作者
Anil Nerode / Jeffrey B. Remmel / Alexander Yakhnis
出版1995
ISBN
CORNELL:31924072973625
Viability in Hybrid Systems
作者
Wolf Kohn (Engineer) / Anil Nerode / Alexander Yakhnis / Jeffrey B. Remmel
出版1994
ISBN
CORNELL:31924072744869
Concurrent Computation as Game Playing
作者
Anil Nerode / Alexander Yakhnis / Vladimir Yakhnis
出版1993
ISBN
CORNELL:31924067760672
Models for Hybrid Systems
作者
Anil Nerode / W. Kohn
出版1992
ISBN
CORNELL:31924063436483
Concurrent Programs as Strategies in Games
作者
Anil Nerode / Vladimir Yakhnis / Alexander Yakhnis
出版1990
ISBN
CORNELL:31924074852496
Constraint Logic Programming
作者
Anil Nerode / Wolf Kohn (Engineer)
出版1993
ISBN
CORNELL:31924067536627
Improving the Pointing Accuracy of Direct-fire Wea...
作者
Wolf Kohn (Engineer) / Anil Nerode / John James
出版1995
ISBN
CORNELL:31924072744570
Hybrid System Games
作者
Anil Nerode / Alexander Yakhnis / Jeffrey B. Remmel
出版1993
ISBN
CORNELL:31924067536833
On Extreme Points of Convex Compact Turning Locate...
作者
Xiaolin Ge / Anil Nerode
出版1992
ISBN
CORNELL:31924063436624
Effective Content of the Calculus of Variations I
作者
Xiaolin Ge / Anil Nerode
出版1995
ISBN
CORNELL:31924072744562
Hybrid Games and Hybrid Systems
作者
Anil Nerode / Alexander Yakhnis
出版1993
ISBN
CORNELL:31924067760649
Polynomial Time Equivalence Types
作者
Anil Nerode / J. B. Remmel
出版1989
ISBN
CORNELL:31924058547732
Multiple Agent Autonomous Control a Hybrid Systems...
作者
Anil Nerode / Wolf Kohn
出版1993
ISBN
CORNELL:31924063234011