Εμφανίζονται 101 - 120 Αποτελέσματα από 128 για την αναζήτηση '"Mathematical logic."', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 101
    Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings
    ανά Dediu, Adrian-Horia
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 102
    Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
    ανά Link, Sebastian
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  3. 103
    Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
    ανά Schmid, Ute
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 104
    Rough Set and Knowledge Technology 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010. Proceedings
    ανά Yu, Jian
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 105
    Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part II
    ανά HΓΌllermeier, Eyke
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 106
    Computational Intelligence for Knowledge-Based Systems Design 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings
    ανά HΓΌllermeier, Eyke
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  7. 107
    Grammatical Inference: Theoretical Results and Applications 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings
    ανά Sempere, JosΓ© M
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  8. 108
    Natural Language Processing and Information Systems 14th International Conference on Applications of Natural Language to Information Systems, NLDB 2009, SaarbrΓΌcken, Germany, June 24-26, 2009. Revised Papers
    ανά Horacek, Helmut
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  9. 109
    Discrete, Continuous, and Hybrid Petri Nets
    ανά David, RenΓ©
    Έκδοση 2005
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  10. 110
    A Roadmap for Formal Property Verification
    ανά DasGupta, Pallab
    Έκδοση 2006
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  11. 111
    Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part I
    ανά HΓΌllermeier, Eyke
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  12. 112
    Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
    ανά HlinΔ›nΓ½, Petr
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  13. 113
    Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
    ανά Dawar, Anuj
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  14. 114
    Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings
    ανά Gao, Yuan
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  15. 115
    Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers
    ανά Raedt, Luc
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  16. 116
    Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
    ανά Aloni, Maria
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  17. 117
    Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
    ανά Ehrig, Hartmut
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 118
    ανά ConchΓir, DeasΓΊn Γ“
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Εργαλειοθήκη Βιβλίο
  19. 119
    Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
    ανά Janhunen, Tomi
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  20. 120
    Semantic Processing of Legal Texts Where the Language of Law Meets the Law of Language
    ανά Francesconi, Enrico
    Έκδοση 2010
    Θέματα: “…Mathematical Logic and Formal Languages 67086…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email