Results
|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
Mathematical logic and theoretical computer science/ edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith. by
- Kueker, D. W, 1943-
- Lopez-Escobar, Edgar G. K, 1937-
- Smith, Carl, 1950-
- University of Maryland, College Park. Dept. of Mathematics
Series: Lecture notes in pure and applied mathematics ; v. 106.
Publication details: New York: M. Dekker, c1987
Availability: Items available for loan: Castorina (1)Call number: 511.3 M426 1987 IMPA.
Found in Open Library:
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
|
|
11.
|
Logic, automata, and algorithms/ Mark A. Aiserman [and others] ; translated [from the Russian] by Scripta Technica, Inc ; translation editor George M. Kranc. by
- Tal', Aleksey A
- Smirnova, Irina M
- Rozonoer, Lev I
- Gusev, Leonid A
- Aizerman, M. A., (Mark Aronovich), 1913-
Series: Mathematics in science and engineering ; vol.79. Language: English Original language: Russian
Publication details: New York London: Academic Press, 1971
Availability: Items available for loan: Castorina (1)Call number: 512 L832 1971 IMPA.
Found in Open Library:
|
|
12.
|
|
|
13.
|
|
|
14.
|
Differential games and control theory: proceedings of a National Science Foundation-Conference Board of the Mathematical Sciences Regional Research Conference, held at University of Rhode Island, Kingston, Rhode Island, June 4-8, 1973 : the invited lectures and contributed papers/ edited by Emilio O. Roxin, Pan-Tai Liu and Robert L. Sternberg. by
- Roxin, Emilio O
- Liu, Pan-Tai
- Sternberg, Robert L
- National Science Foundation (U.S.)
- Conference Board of the Mathematical Sciences
- Regional Research Conference on Differential Games and Control Theory (1st : 1973 : University of Rhode Island)
Series: Lecture notes in pure and applied mathematics ; v. 10.
Publication details: New York: M. Dekker, c1974
Availability: Items available for loan: Castorina (1)Call number: 519.7 D569 1974 IMPA.
Found in Open Library:
|
|
15.
|
|
|
16.
|
|
|
17.
|
|
|
18.
|
|
|
19.
|
|
|
20.
|
|