×

zbMATH — the first resource for mathematics

Found 11 Documents (Results 1–11)

100
MathJax
DISKI. Dissertationen zur Künstlichen Intelligenz 324. Heidelberg: Akademische Verlagsgesellschaft Aka; Amsterdam: IOS Press (Diss. 2008) (ISBN 978-1-58603-983-7; 978-3-89838-324-0/pbk). x, 273 p. (2009).
MSC:  68T30 68T15 68T27 68-02
PDF BibTeX XML Cite
Seda, Anthony (ed.) et al., Proceedings of the Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2006), National University of Ireland, Cork, Ireland, August 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 225, 405-420 (2009).
MSC:  68Q60 03B70 68T15
PDF BibTeX XML Cite
Full Text: DOI
Buchberger, Bruno (ed.) et al., Artificial intelligence and symbolic computation. 7th international conference, AISC 2004, Linz, Austria, September 22–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23212-5/pbk). Lecture Notes in Computer Science 3249. Lecture Notes in Artificial Intelligence, 66-79 (2004).
MSC:  68T15 68T20
PDF BibTeX XML Cite
Full Text: DOI
Kautz, Henry (ed.) et al., LICS 2001 workshop on theory and application of satisfiability testing (SAT 2001). Boston, MA, USA, June 14-15, 2001. Amsterdam: Elsevier, Electron. Notes Discrete Math. 9, no pag., electronic only (2001).
MSC:  90C27
PDF BibTeX XML Cite
Kautz, Henry (ed.) et al., LICS 2001 workshop on theory and application of satisfiability testing (SAT 2001). Boston, MA, USA, June 14-15, 2001. Amsterdam: Elsevier, Electron. Notes Discrete Math. 9, no pag., electronic only (2001).
MSC:  90C27 90C60
PDF BibTeX XML Cite