×

zbMATH — the first resource for mathematics

Found 27 Documents (Results 1–27)

100
MathJax
van Ditmarsch, Hans (ed.) et al., Logic, rationality, and interaction. Third international workshop, LORI 2011, Guangzhou, China, October 10–13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24129-1/pbk). Lecture Notes in Computer Science 6953. Lecture Notes in Artificial Intelligence, 328-341 (2011).
Reviewer: Reviewer (Berlin)
MSC:  03B42 68T27
PDF BibTeX XML Cite
Full Text: DOI
van Ditmarsch, Hans (ed.) et al., Logic, rationality, and interaction. Third international workshop, LORI 2011, Guangzhou, China, October 10–13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24129-1/pbk). Lecture Notes in Computer Science 6953. Lecture Notes in Artificial Intelligence, 286-299 (2011).
Reviewer: Reviewer (Berlin)
MSC:  03B42
PDF BibTeX XML Cite
Full Text: DOI
Ghilardi, Silvio (ed.) et al., Frontiers of combining systems. 7th international symposium, FroCoS 2009, Trento, Italy, September 16–18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04221-8/pbk). Lecture Notes in Computer Science 5749. Lecture Notes in Artificial Intelligence, 198-213 (2009).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 197-213 (2009).
Reviewer: Reviewer (Berlin)
MSC:  03B42 68T27 68T42
PDF BibTeX XML Cite
Full Text: DOI
Sadri, Fariba (ed.) et al., Computational logic in multi-agent systems. 8th international workshop, CLIMA VIII, Porto, Portugal, September 10–11, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-88832-1/pbk). Lecture Notes in Computer Science 5056. Lecture Notes in Artificial Intelligence, 248-267 (2009).
Reviewer: Reviewer (Berlin)
MSC:  68T27 03B42 68T42
PDF BibTeX XML Cite
Full Text: DOI
Sadri, Fariba (ed.) et al., Computational logic in multi-agent systems. 8th international workshop, CLIMA VIII, Porto, Portugal, September 10–11, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-88832-1/pbk). Lecture Notes in Computer Science 5056. Lecture Notes in Artificial Intelligence, 100-116 (2009).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Gabbay, Dov M. (ed.) et al., Practical reasoning. International conference on formal and applied practical reasoning, FAPR ’96, Bonn, Germany, June 3–7, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1085, 178-192 (1996).
Reviewer: Reviewer (Berlin)
MSC:  03B35 03B42 03B44
PDF BibTeX XML Cite
Full Text: DOI
Gabbay, Dov M. (ed.) et al., Practical reasoning. International conference on formal and applied practical reasoning, FAPR ’96, Bonn, Germany, June 3–7, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1085, 29-42 (1996).
Reviewer: Reviewer (Berlin)
MSC:  03B45 68T27
PDF BibTeX XML Cite
Full Text: DOI