1
应用逻辑

应用逻辑

Anil Nerode Richard A.Shore
سال:
2007
زبان:
chinese
فائل:
PDF, 18.31 MB
0 / 0
chinese, 2007
7
Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993

Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993

Luis Moniz Pereira, Anil Nerode
سال:
1993
زبان:
english
فائل:
PDF, 21.91 MB
0 / 0
english, 1993
13
Hybrid Systems IV

Hybrid Systems IV

Alan B. Arehart, William A. Wolovich (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)
سال:
1997
زبان:
english
فائل:
DJVU, 4.97 MB
0 / 0
english, 1997
14
Logic programming and non-monotonic reasoning : proceedings of the second international workshop

Logic programming and non-monotonic reasoning : proceedings of the second international workshop

Luís Moniz Pereira, Anil Nerode
سال:
1993
زبان:
english
فائل:
DJVU, 8.09 MB
0 / 0
english, 1993
15
Hybrid Systems IV

Hybrid Systems IV

Alan B. Arehart, William A. Wolovich (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)
سال:
1997
زبان:
english
فائل:
PDF, 26.84 MB
0 / 0
english, 1997
16
Hybrid Systems II

Hybrid Systems II

Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)
سال:
1995
زبان:
english
فائل:
DJVU, 6.46 MB
0 / 0
english, 1995
18
Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Anil Nerode, Noam Greenberg
سال:
2023
زبان:
english
فائل:
PDF, 8.52 MB
0 / 5.0
english, 2023
19
Logic for Applications

Logic for Applications

Anil Nerode, Richard A. Shore
سال:
1997
زبان:
english
فائل:
PDF, 92.79 MB
0 / 0
english, 1997
20
Logic for Applications

Logic for Applications

Anil Nerode, Richard A. Shore
سال:
1997
زبان:
english
فائل:
DJVU, 4.65 MB
0 / 0
english, 1997
21
Logic for Applications

Logic for Applications

Anil Nerode, Richard Shore
سال:
2012
زبان:
english
فائل:
PDF, 92.75 MB
0 / 0
english, 2012
22
Logic for Applications

Logic for Applications

Anil Nerode, Richard A. Shore
سال:
1993
زبان:
english
فائل:
PDF, 10.27 MB
5.0 / 5.0
english, 1993
23
Automata Theory and its Applications

Automata Theory and its Applications

Bakhadyr Khoussainov, Anil Nerode (auth.)
سال:
2001
زبان:
english
فائل:
PDF, 8.76 MB
0 / 0
english, 2001
24
Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Anil Nerode, Noam Greenberg
سال:
2023
زبان:
english
فائل:
PDF, 8.52 MB
0 / 5.0
english, 2023
27
Logical Foundations of Computer Science, LFCS 2020

Logical Foundations of Computer Science, LFCS 2020

Sergei Artemov, Anil Nerode
سال:
2020
زبان:
english
فائل:
PDF, 4.19 MB
0 / 0
english, 2020
28
Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Anil Nerode, Noam Greenberg
سال:
2023
زبان:
english
فائل:
EPUB, 19.57 MB
0 / 0
english, 2023
29
Automata Theory and its Applications

Automata Theory and its Applications

Khoussainov, Bakhadyr, Nerode, Anil
سال:
2001
زبان:
english
فائل:
PDF, 33.73 MB
0 / 0
english, 2001
30
Combinatorial Functors

Combinatorial Functors

J. N. Crossley, Anil Nerode (auth.)
سال:
1974
زبان:
english
فائل:
PDF, 4.27 MB
0 / 0
english, 1974
33
Hybrid Systems V

Hybrid Systems V

Haoxun Chen, Hans-Michael Hanisch (auth.), Panos Antsaklis, Michael Lemmon, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)
سال:
1999
زبان:
english
فائل:
PDF, 5.00 MB
0 / 0
english, 1999
36
Hybrid Systems

Hybrid Systems

R.Ł. Grossman, A. Nerode, A. Ravn, H. Rischel (auth.), Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (eds.)
سال:
1993
زبان:
english
فائل:
DJVU, 3.24 MB
0 / 0
english, 1993
37
Hybrid Systems

Hybrid Systems

Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel
سال:
1993
زبان:
english
فائل:
PDF, 23.58 MB
0 / 0
english, 1993
39
Logic Colloquium: Symposium on Logic Held at Boston, 1972–73

Logic Colloquium: Symposium on Logic Held at Boston, 1972–73

J. N. Crossley, Anil Nerode (auth.), Prof. Dr. Rohit Parikh (eds.)
سال:
1975
زبان:
english
فائل:
PDF, 12.48 MB
0 / 0
english, 1975