title | media type | | ISBN-13 | year of publica- tion | other author(s) |
Handbook of Modal Logic, Volume 3 | Hardcover | | 978-0-444-51690-9 | 2006 | Johan F.A.K. van Benthem · Frank Wolter |
Learn PROLOG Now! | Paperback | | 978-1-904987-17-8 | 2006 | Johan Bos · Kristina Striegnitz |
Logic, Language and Computation, Volume 3 | Hardcover | | 978-1-57586-267-5 | 2001 | Nick Braisby · Lawrence Cavedon · Atsushi Shimojima |
Logic, Language and Computation, Volume 3 | Paperback | | 978-1-57586-268-2 | 2001 | Nick Braisby · Lawrence Cavedon · Atsushi Shimojima |
Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings | " | | 978-3-662-60291-1 | 2019 | Emiliano Lorini · Meiyun Gou |
Modal Logic | " | | 978-0-521-52714-9 | 2002 |
Modal Logic | Hardcover | | 978-0-521-80200-0 | 2001 | Maarten de Rijke · Yde Venema |
Modeling and Using Context: 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings . . . / ... Notes in Computer Science, Band 2680) | Taschenbuch | | 978-3-540-40380-7 | 2003 | Chiara Ghidini · Roy M. Turner · Fausto Giunchiglia |
Modeling and Using Context: 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings | " | | 978-3-642-40971-4 | 2013 | Patrick Brézillon · Richard Dapoigny |
Prolog, Tout De Suite! | Paperback | | 978-1-904987-52-9 | 2007 | Johan Bos · Kristina Streignitz |
Representation and Inference for Natural Language: A First Course in Computational Semantics | Hardcover | | 978-1-57586-495-2 | 2005 | Johan Bos |
Representation and Inference for Natural Language: A First Course in Computational Semantics | Paperback | | 978-1-57586-496-9 | 2005 | " |
Specifying Syntactic Structures | " | | 978-1-57586-084-8 | 1997 | Maarten de Rijke |
Specifying Syntactic Structures | Hardcover | | 978-1-57586-085-5 | 1997 | " |
Tools for Teaching Logic: Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings | Taschenbuch | | 978-3-642-21349-6 | 2011 | Hans van Ditmarsch · Maria Manzano · Fernando Soler-Toscano |