Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εμφανίζονται 1 - 20 Αποτελέσματα από 20 για την αναζήτηση '"Cambridge tracts in theoretical computer science ;"', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Understanding Z :

    Understanding Z : από Spivey, J. M.

    Δημοσίευση 1988
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  2. 2
    Algorithmic information theory

    Algorithmic information theory από Chaitin, Gregory J.

    Δημοσίευση 1987
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  3. 3
    Logic and computation :

    Logic and computation : από Paulson, Lawrence C.

    Δημοσίευση 1987
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  4. 4
    Formal methods in artificial intelligence

    Formal methods in artificial intelligence από Ramsay, Allan, 1953-

    Δημοσίευση 1989
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  5. 5
    Formal semantics and pragmatics for natural language querying

    Formal semantics and pragmatics for natural language querying από Clifford, James 1945-

    Δημοσίευση 1990
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  6. 6
    Topology via logic

    Topology via logic από Vickers, Steven

    Δημοσίευση 1989
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  7. 7
    Theoretical foundations of VLSI design

    Theoretical foundations of VLSI design

    Δημοσίευση 1990
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  8. 8
    Proofs and types

    Proofs and types από Girard, Jean-Yves

    Δημοσίευση 1990
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  9. 9
    Mathematics for computer graphics

    Mathematics for computer graphics από Hoggar, S. G.

    Δημοσίευση 1992
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  10. 10
    Nonmonotonic reasoning :

    Nonmonotonic reasoning : από Brewka, Gerhard

    Δημοσίευση 1991
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  11. 11
    Design theory and computer science :

    Design theory and computer science : από Dasgupta, Subrata

    Δημοσίευση 1991
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  12. 12
    A unifying framework for structured analysis and design models :

    A unifying framework for structured analysis and design models : από Tse, T. H.

    Δημοσίευση 1991
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  13. 13
    The clausal theory of types

    The clausal theory of types από Wolfram, D. A.

    Δημοσίευση 1993
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  14. 14
    Applications of Process Algebra

    Applications of Process Algebra

    Δημοσίευση 1990
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  15. 15
    Process algebra

    Process algebra από Baeten, J. C. M.

    Δημοσίευση 1990
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  16. 16
    Nets, terms, and formulas :

    Nets, terms, and formulas : από Olderog, E.-R

    Δημοσίευση 1991
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  17. 17
    Belief revision

    Belief revision

    Δημοσίευση 1992
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  18. 18
    Updating Logocal Databases

    Updating Logocal Databases από Winslett, Marianne

    Δημοσίευση 1990
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  19. 19
    Basic proof theory

    Basic proof theory από Troelstra, A. S. (Anne Sjerp)

    Δημοσίευση 2000
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  20. 20
    Modal logic

    Modal logic από Blackburn, Patrick 1959-

    Δημοσίευση 2001
    “…Cambridge tracts in theoretical computer science ;…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:

Εργαλεία αναζήτησης: