All Titles in Mathematical Logic and Formal Language

Grid List

Set Descending Direction

Books 1-20 of 49

per page
Page:
  1. 1
  2. 2
  3. 3
  1. A Concise Introduction to Languages and Machines
    • Publication Date: June 29, 2009
    • ISBN13: 978-1-848001-20-6
  2. A Proof Theory for Description Logics
    • Publication Date: May 17, 2012
    • ISBN13: 978-1-447140-01-6
  3. Abstract State Machines, Alloy, B, TLA, VDM, and Z
    • Publication Date: May 29, 2014
    • ISBN13: 978-3-662436-51-6
  4. Agent Technology from a Formal Perspective
    • Publication Date: January 27, 2006
    • ISBN13: 978-1-852339-47-0
  5. Automated Reasoning
    • Publication Date: July 1, 2014
    • ISBN13: 978-3-319085-86-9
  6. Categories and Types in Logic, Language, and Physics
    • Publication Date: April 3, 2014
    • ISBN13: 978-3-642547-88-1
  7. Coalgebraic Methods in Computer Science
    • Publication Date: August 19, 2014
    • ISBN13: 978-3-662441-23-7
  8. Conditionals and Modularity in General Logics
    • Publication Date: August 19, 2011
    • ISBN13: 978-3-642190-67-4
  9. Confluent String Rewriting
    • Publication Date: October 5, 2011
    • ISBN13: 978-3-642648-67-0
  10. Decision Procedures
    • Publication Date: April 29, 2008
    • ISBN13: 978-3-540741-04-6
  11. Deontic Logic and Normative Systems
    • Publication Date: June 30, 2014
    • ISBN13: 978-3-319086-14-9
  12. Finite Model Theory and Its Applications
    • Publication Date: June 4, 2007
    • ISBN13: 978-3-540004-28-8
  13. First-Order Logic and Automated Theorem Proving 2nd Edition
    • Publication Date: June 26, 2013
    • ISBN13: 978-1-461275-15-2
  14. Formal Correctness of Security Protocols
    • Publication Date: May 27, 2007
    • ISBN13: 978-3-540681-34-2
  15. Formal Grammar
    • Publication Date: July 10, 2014
    • ISBN13: 978-3-662441-20-6
  16. Formal Languages and Compilation 2nd Edition
    • Publication Date: October 16, 2013
    • ISBN13: 978-1-447155-13-3
  17. Formal Languages and Compilation
    • Publication Date: April 3, 2009
    • ISBN13: 978-1-848820-49-4
  18. Formal Methods in Human-Computer Interaction
    • Publication Date: December 6, 2012
    • ISBN13: 978-3-540761-58-7
  19. Formal Specification
    • Publication Date: December 6, 2012
    • ISBN13: 978-1-852330-02-6
  20. Foundations of Information and Knowledge Systems
    • Publication Date: February 20, 2014
    • ISBN13: 978-3-319049-38-0

Grid List

Set Descending Direction

Books 1-20 of 49

per page
Page:
  1. 1
  2. 2
  3. 3