Modern uses of multiple-valued logic : invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975 /
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Dordrecht, Holland ; Boston, U.S.A. :
D. Reidel,
c1977.
|
| Series: | Episteme ;
v. 2 |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 01666cam a2200277 a 4500 | ||
|---|---|---|---|
| 001 | inmabb002626 | ||
| 008 | 770613s1977####ne#######b####101#0#eng## | ||
| 005 | 20110317112145.0 | ||
| 245 | 1 | 0 | |a Modern uses of multiple-valued logic : |b invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975 / |c edited by J. Michael Dunn and George Epstein ; with a bibliography of many-valued logic by Robert G. Wolf. |
| 260 | |a Dordrecht, Holland ; |a Boston, U.S.A. : |b D. Reidel, |c c1977. | ||
| 300 | |a 338 p. ; |c 23 cm. | ||
| 440 | 0 | |a Episteme ; |v v. 2 | |
| 504 | |a Incluye: A survey of many-valued logic (1966-1974) / Robert G. Wolf, p. [167]-323. | ||
| 505 | 0 | |a Nuel D. Belnap, Jr., A useful four-valued logic -- M. Yoeli and J. A. Brzozowski, Ternary simulation of binary gate networks -- Ph. Dwinger, A survey of the theory of Post algebras and their generalizations -- H. Rasiowa, Many-valued algorithmic logic as a tool to investigate programs -- R. E. Bellman and L. A. Zadeh, Local and fuzzy logics. | |
| 510 | 4 | |a MR, |c 57 #9454 | |
| 020 | |a 9027707472 | ||
| 111 | 2 | |a International Symposium on Multiple-Valued Logic |n (5º : |d 1975 : |c Indiana University) |9 063861 | |
| 700 | 1 | |a Dunn, J. Michael, |d 1941- |4 edt |9 063862 | |
| 700 | 1 | |a Epstein, George, |d 1934- |4 edt |9 063863 | |
| 700 | 1 | 2 | |a Wolf, Robert G. |t Survey of many-valued logic (1966-1974) |9 063864 |
| 650 | 0 | |a Many-valued logic |x Congresses. |9 063865 | |
| 084 | |a 03B50 (03-06 03G20) |2 msc2000 | ||
| 010 | |a 77023098 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 859 | |h 03 |i In61 |p A-5056 |b BIB. MATEMATICA | ||
| 859 | |h 03 |i In61 |p A-7540 |t Ej. 2 |b BIB. MATEMATICA | ||