International Symposium on Uniformly Structured Automata and Logic : proceedings

International Symposium on Uniformly Structured Automata and Logic : proceedings

16

Detaylı Bibliyografya
Asıl Yazarlar:	International Symposium on Uniformly Structured Automata and Logic (1975 : Tokyo), IEEE Computer Society
Materyal Türü:
Baskı/Yayın Bilgisi:	New York : Institute of Electrical and Electronics Engineers, 1975
Konular:	Machine theory Logic, Symbolic and mathematical Computer engineering

Benzer Materyaller

Proceedings of the 1975 International Symposium on Multiple-Valued logic
Yazar:: 251123 International Symposium on Multiple-Valued Logic, 5th, Indiana University, May 13-16, 1975, ve diğerleri

Scandinavian Logic Symposium, 2nd., University of Oslo, 1970 : Proceedings /
Yazar:: Scandinavian Logic Symposium (2nd : 1970 : University of Oslo), ve diğerleri
Baskı/Yayın Bilgisi: (1971)

Mathematical logic in Latin America : proceedings of the 4th Latin America Symposium on mathematical logic /
Yazar:: Latin-America Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile), ve diğerleri
Baskı/Yayın Bilgisi: (1980)

Scandinavian Logic Symposium, 3rd, University of Uppsala, Sweden, April 9-11, 1973 : Proceedings /
Yazar:: Scandinavian Logic Symposium (3rd : 1973 : University of Uppsala, Sweden), ve diğerleri
Baskı/Yayın Bilgisi: (1975)

Proceedings of Logic Colloquium /
Yazar:: 467457 Logic Colloquium, ve diğerleri
Baskı/Yayın Bilgisi: (1969)

Logic, methodology and philosophy of science IV : proceedings /
Yazar:: International Congress for Logic, Methodology and Philosophy of Science (4th : 1971 : Bucharest, Rumania), ve diğerleri
Baskı/Yayın Bilgisi: (1973)

Proceedings of the summer school and colloqium in mathematical logic /
Yazar:: Logic Colloqium '69 : Proceedings of the summer school and colloqium in mathematical logic (August, 1969 : Manchester), ve diğerleri
Baskı/Yayın Bilgisi: (1969)

Logic programming : proceedings of the fifth international conference and symposium /
Yazar:: Kowalski, Robert, ve diğerleri
Baskı/Yayın Bilgisi: (c198)

Proceedings of the Summer School in Logic Leeds, August 7-23, 1967 /
Yazar:: Summer School in Logic (1967 : Leeds), ve diğerleri
Baskı/Yayın Bilgisi: (1968)

Conference in Mathematical Logic, Bedford College, London, 24-28th Aug, 1970 : Proceedings /
Yazar:: Conference in Mathematical Logic (1970 : Bedford College, London), ve diğerleri
Baskı/Yayın Bilgisi: (1972)

Proceedings of the sixth Asian logic conference , Beijing, China, 20-24 May 1996 /
Yazar:: Asian Logic Conference (6th. : 1996 : Beijing, China), ve diğerleri
Baskı/Yayın Bilgisi: (1998)

Logic colloquium : symposium on logic held at Boston, 1972-73 /
Yazar:: Parikh, Rohet
Baskı/Yayın Bilgisi: (1975)

ISILC logic conference : proceedings /
Yazar:: International Summer Institute and Logic Colloquium (1974 : University of Kiel), ve diğerleri
Baskı/Yayın Bilgisi: (1975)

Mathematical logic /
Yazar:: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), ve diğerleri
Baskı/Yayın Bilgisi: (1978)

Logic, language, information and computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 : proceedings /
Yazar:: Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K.), ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Proceedings of the international symposium on multiple-valued logic
Yazar:: 428863 International symposium on multiple-valued logic, 7th University of North Carolina, Charlotte, North Carolina, May 24-27, 1977

Logic, methodology and philosophy of science IX, Uppsala, Sweden, August 7-14 1991 : [proceeding] /
Yazar:: International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden), ve diğerleri
Baskı/Yayın Bilgisi: (1994)

CABAL Seminar 76-77 : proceedings, Caltech - UCLA Logic Seminar 1976-77 /
Yazar:: Kechris, A. S.
Baskı/Yayın Bilgisi: (1978)

Logic /
Yazar:: 344312 Earle, Nick
Baskı/Yayın Bilgisi: (1973)

Logic, methodology and philosophy of science VII
Yazar:: 474250 International Congress of Logic, Methodology and Philosophy Science (7th : 1983 : Salzburg, Austria), ve diğerleri
Baskı/Yayın Bilgisi: (1983)

Logic of mathematics : a modern course of classical logic /
Yazar:: 454206 Adamowicz, Zofia, ve diğerleri
Baskı/Yayın Bilgisi: (1997)

Mathematical logic /
Yazar:: 219920 Ebbinghaus, Heinz-Dieter, ve diğerleri
Baskı/Yayın Bilgisi: (1994)

Symbolic logic /
Yazar:: 299767 Copi, Irving M.
Baskı/Yayın Bilgisi: (1973)

Symbolic logic /
Yazar:: 299767 Copi, Irving M.
Baskı/Yayın Bilgisi: (1979)

Logic for mathematicians /
Yazar:: 391265 Hamilton, A. G.
Baskı/Yayın Bilgisi: (1988)

logic for mathematicians /
Yazar:: 341990 Rosser, J. Barkley
Baskı/Yayın Bilgisi: (1953)

Symbolic logic /
Yazar:: 299767 Copi, Irving M.
Baskı/Yayın Bilgisi: (1954)

Symbolic logic /
Yazar:: 389685 Grunberg, Teo
Baskı/Yayın Bilgisi: (1972)

Logic as algebra /
Yazar:: 181502 Halmos, Paul, ve diğerleri
Baskı/Yayın Bilgisi: (1998)

Combinatory logic /
Yazar:: 351193 Curry, Haskell Brooks, ve diğerleri
Baskı/Yayın Bilgisi: (1974)

Symbolic logic /
Yazar:: 372615 Jacquette, Dale
Baskı/Yayın Bilgisi: (2001)

Introduction to logic /
Yazar:: 299767 Copi, Irving M., ve diğerleri
Baskı/Yayın Bilgisi: (1998)

Mathematical logic /
Yazar:: Goodstein, R. L. (Reuben Louis)
Baskı/Yayın Bilgisi: (1957)

Mathematical logic /
Yazar:: 344925 Monk, James Donald
Baskı/Yayın Bilgisi: (1976)

Introduction to logic /
Yazar:: Suppes, Patrick, 1922-
Baskı/Yayın Bilgisi: (1957)

Mathematical logic /
Yazar:: 365617 Quine, Willard Van Orman
Baskı/Yayın Bilgisi: (1951)

Logic for mathematicians /
Yazar:: 263948 Hamilton, Alan G.
Baskı/Yayın Bilgisi: (1978)

Logic : databook /
Yazar:: National Semiconductor
Baskı/Yayın Bilgisi: (1981)

Logic and structure /
Yazar:: Dalen, D. van (Dirk), 1932-
Baskı/Yayın Bilgisi: (2004)

Mathematical logic /
Yazar:: 307997 Shoenfield, Joseph Robert
Baskı/Yayın Bilgisi: (1967)