Εμφανίζονται 1 - 20 Αποτελέσματα από 40 για την αναζήτηση '', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    A computational logic handbook
    ανά Boyer, Robert, Moore, J. Strother
    Έκδοση 1998
    Βιβλίο
  2. 2
    A Computational Logic Handbook
    ανά Moore, J. Strother, Boyer, Robert
    Έκδοση 1988
    Βιβλίο
  3. 3
    Automata and computability /
    ανά Kozen, Dexter 1951-
    Έκδοση 1997
    Βιβλίο
  4. 4
    Automata, languages and programming Proceedings 13th International Cologuium. Rennes, France, July 15-19, 1986
    Έκδοση 1986
    Βιβλίο
  5. 5
    Automata, Languages and Programming Proceedings of the 16th International Colloquim Stresa, Italy, July 11-15, 1989
    Έκδοση 1989
    Βιβλίο
  6. 6
    Complexity and structure
    ανά Schöning, Uwe, 1955-
    Έκδοση 1986
    Βιβλίο
  7. 7
    Computability and unsolvability
    ανά Davis, Martin, 1928-
    Έκδοση 1982
    Βιβλίο
  8. 8
    Computer algebra with symbolic C++
    ανά Hardy, Yorick, 1976-
    Έκδοση 2008
    Βιβλίο
  9. 9
    Current trends in informatics : proceedings ... [from] 11th Panhellenic Conference in Informatics, 18-20 May 2007, Patras, Greece /
    Έκδοση 2007
    Πρακτικό Συνεδρίου Βιβλίο
  10. 10
    Discrete Mathematics in Computer Science
    ανά McAllister, David F., Stanat, Donald F.
    Έκδοση 1977
    Βιβλίο
  11. 11
    Elements of the theory of computation
    Βιβλίο
  12. 12
    Foundations of logic programming
    ανά Lloyd, J. W. 1947- (John Wylie)
    Έκδοση 1984
    Βιβλίο
  13. 13
    Introduction to Formal Language Theory
    ανά Harrison, Michael A.
    Έκδοση 1978
    Βιβλίο
  14. 14
    Journal of Scientific Computing
    Έκδοση 1986
    Περιοδική έκδοση
  15. 15
    Logic for computer science Foundations of automatic theorem proving
    ανά Gallier, Jean H.
    Έκδοση 1987
    Βιβλίο
  16. 16
    Logic in Computer Science (1986) Proceedings Symposium Cambridge, Massachusetts, June 16-18, 1986
    Έκδοση 1986
    Βιβλίο
  17. 17
    Logic in Computer Science (1987) Proceedings Symposium Ithaca, New York, June 22-25, 1987
    Έκδοση 1987
    Βιβλίο
  18. 18
    Logic in Computer Science (1988) Proceedings 3rd Annual Symposium July 5-8,1988, Edinburgh, Scotland
    Έκδοση 1988
    Βιβλίο
  19. 19
    Logic programming and knowledge engineering
    ανά Amble, Tore
    Έκδοση 1987
    Βιβλίο
  20. 20
    Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
    Έκδοση 1996
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email