Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Ցուցադրվում են 1 - 9 արդյունքները 9 այս փնտրման համար 'Springer,', հարցման ժամանակը: 0.08s Հստակեցնել արդյունքները
  1. 1
    Lectures on non-standard analysis /
    Machover, Moshe
    Հրապարակվել է 1969
    “…Springer-Verlag,…”
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  2. 2
    Logic and structure /
    Dalen, Dirk van, 1932-
    Հրապարակվել է 1980
    “…Springer-Verlag,…”
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  3. 3
    Logic and structure /
    Dalen, Dirk van, 1932-
    Հրապարակվել է 1983
    “…Springer-Verlag,…”
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  4. 4
    Logic Symposia : Hakone, 1979, 1980 : Proceedings of Conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 /
    Հրապարակվել է 1981
    “…Springer-Verlag,…”
    Գիտաժողովի նյութեր Գիրք
    Պահել ցուցակում
    Պահպանված է:
  5. 5
    Mathematical logic /
    Monk, James Donald, 1930-
    Հրապարակվել է 1976
    “…Springer-Verlag,…”
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  6. 6
    Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic /
    Հրապարակվել է 1968
    “…Springer-Verlag,…”
    Գիտաժողովի նյութեր Գիրք
    Պահել ցուցակում
    Պահպանված է:
  7. 7
    Temporal logic of programs /
    Kroger, Fred, 1945-
    Հրապարակվել է 1987
    “…Springer-Verlag,…”
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  8. 8
    Term logic with choice operator /
    Hermes, Hans
    Հրապարակվել է 1970
    “…Springer-Verlag,…”
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
  9. 9
    A theory of heuristic information in game-tree search /
    Tzeng, Chun-Hung
    Հրապարակվել է 1988
    “…Springer-Verlag,…”
    Գիրք
    Պահել ցուցակում
    Պահպանված է:
Որոնման գործիքներ: Ստացեք RSS հոսք – Էլփոստով ուղարկեք այս փնտրումը – Պահպանել որոնումը