Results
|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
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:
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
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:
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
Theoretical aspects of reasoning about knowledge: proceedings of the 1986 conference, March 19-22, 1986, Monterey, California/ edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery. by
- Halpern, Joseph Y, 1953-
- International Business Machines Corporation
- American Association for Artificial Intelligence
- United States. Office of Naval Research
- Association for Computing Machinery
Publication details: Los Altos, Calif.: M. Kaufmann Publishers, c1986
Availability: Items available for loan: Castorina (1)Call number: 510.1 T396 1986 IMPA.
Found in Open Library:
|
|
|
19.
|
|
|
|
20.
|
|
