×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–6)

100
MathJax
Degano, Pierpaolo (ed.) et al., Foundations and applications of security analysis. Joint workshop on automated reasoning for security protocol analysis and issues in the theory of security, ARSPA-WITS 2009, York, UK, March 28–29, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03458-9/pbk). Lecture Notes in Computer Science 5511, 138-154 (2009).
MSC:  68P25 94A60
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 2972. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 3-540-21459-3/pbk). xvii, 923 p. (2004).
MSC:  68-06 00B25 68Txx
PDF BibTeX XML Cite
Full Text: DOI
Coello Coello, Carlos A. (ed.) et al., MICAI 2002: Advances in artificial intelligence. 2nd Mexican international conference, Mérida, Yucatán, Mexico, April 22–26, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43475-5). Lect. Notes Comput. Sci. 2313, 401-410 (2002).
MSC:  68T05 92C50
PDF BibTeX XML Cite
Full Text: Link
Nieuwenhuis, Robert (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3–7, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42957-3/pbk). Lecture Notes in Computer Science 2250. Lecture Notes in Artificial Intelligence, 723-736 (2001).
MSC:  68T27 68T15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
all top 3
Classification
all top 3
Software