Showing 1 - 20 results of 125 for search '"Mathematical Logic and Formal Languages"', query time: 0.06s Refine Results
  1. 1
    Programming Sudoku
    by Lee, Wei-Meng
    Published 2006
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  2. 2
    Contributions to the Science of Text and Language Word Length Studies and Related Issues
    by Grzybek, Peter
    Published 2006
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  3. 3
    Finite Model Theory
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  4. 4
    Logica Universalis Towards a General Theory of Logic
    by Beziau, Jean-Yves
    Published 2005
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  5. 5
    Agent Technology from a Formal Perspective
    by Rouff, Christopher A.
    Published 2006
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  6. 6
    Notes on Set Theory
    by Moschovakis, Yiannis
    Published 2006
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  7. 7
    Mathematical Logic Foundations for Information Science
    by Li, Wei
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  8. 8
    Formal Methods: State of the Art and New Directions
    by Boca, Paul
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  9. 9
    Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications
    by Triantaphyllou, Evangelos
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  10. 10
    Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
    by Mazzola, Guerino
    Published 2005
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  11. 11
    Time for Verification Essays in Memory of Amir Pnueli
    by Manna, Zohar
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  12. 12
    Abstraction, Refinement and Proof for Probabilistic Systems
    by McIver, Annabelle
    Published 2005
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  13. 13
    Discrete Mathematics Using a Computer
    by O’Donnell, John
    Published 2006
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  14. 14
    Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
    by Mazzola, Guerino
    Published 2006
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  15. 15
    Membrane Computing 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers
    by PΔun, Gheorghe
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  16. 16
    Fuzzy-Neuro Approach to Agent Applications From the AI Perspective to Modern Ontology
    by Lee, Raymond S. T.
    Published 2006
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  17. 17
    Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
    by Pol, Jaco
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  18. 18
    Logical Tools for Handling Change in Agent-Based Systems
    by Gabbay, Dov M., 1945-
    Published 2010
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  19. 19
    Computation Engineering Applied Automata Theory and Logic
    by Gopalakrishnan, Ganesh
    Published 2006
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
  20. 20
    Coordination of Large-Scale Multiagent Systems
    by Scerri, Paul
    Published 2006
    Subjects: “…Mathematical Logic and Formal Languages 67086…”
    Get full text
    Electronic Kit Book
Search Tools: RSS Feed – Email Search