×

zbMATH — the first resource for mathematics

Found 124 Documents (Results 1–100)

100
MathJax
Rousseau, Louis-Martin (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 16th international conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11494, 225-240 (2019).
MSC:  68T20 90C27
PDF BibTeX Cite
Full Text: DOI
Hatami, Hamed (ed.) et al., Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC ’17, Montreal, QC, Canada, June 19–23, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4528-6). 989-1002 (2017).
PDF BibTeX Cite
Full Text: DOI
Hatami, Hamed (ed.) et al., Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC ’17, Montreal, QC, Canada, June 19–23, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4528-6). 604-614 (2017).
PDF BibTeX Cite
Full Text: DOI arXiv
Bailey, David H. (ed.) et al., Computational and analytical mathematics. In Honor of Jonathan Borwein’s 60th birthday. Selected papers based on the presentations at the workshop, also known as JonFest, Simon Fraser University, BC, Canada, May 16–20, 2011. New York, NY: Springer (ISBN 978-1-4614-7620-7/hbk; 978-1-4614-7621-4/ebook). Springer Proceedings in Mathematics & Statistics 50, 593-611 (2013).
MSC:  65K05 90C30 90C51
PDF BibTeX Cite
Full Text: DOI arXiv
McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8312, 490-502 (2013).
MSC:  68T20
PDF BibTeX Cite
Full Text: DOI
Bonacina, Maria Paola (ed.) et al., Automated reasoning and mathematics. Essays in memory of William W. McCune. Berlin: Springer (ISBN 978-3-642-36674-1/pbk). Lecture Notes in Computer Science 7788. Lecture Notes in Artificial Intelligence, 101-130 (2013).
MSC:  68T15 03B35
PDF BibTeX Cite
Full Text: DOI
Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 367-375 (2009).
MSC:  68W05 68P10
PDF BibTeX Cite
Algorithms and Computation in Mathematics 15. Berlin: Springer (ISBN 3-540-28990-9/hbk). xii, 412 p. with CD-ROM. (2006).
PDF BibTeX 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 90B40
PDF BibTeX Cite
Du, Dingzhu (ed.) et al., Satisfiability problem: theory and applications. DIMACS workshop, Piscataway, NJ, USA, March 11-13, 1996. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 35, 153-209 (1997).
MSC:  68P10 68W10 68T20
PDF BibTeX Cite
Osman, Ibrahim H. (ed.) et al., Meta-heuristics: theory and applications. International conference (MIC), Breckenridge, CO, USA, 22–26 July 1995. Dordrecht: Kluwer Academic Publishers. 319-330 (1996).
MSC:  90B18 68T05
PDF BibTeX Cite
Finkelstein, Larry (ed.) et al., Groups and computation. Papers from the workshop held at DIMACS, Rutgers University, New Brunswick, NJ (USA), October 7-10, 1991. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 11, 133-138 (1993).
MSC:  05B99 20B25 68R05 05B25 20B40
PDF BibTeX Cite
Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 172-177 (1991).
Reviewer: N.Curteanu (Iaşi)
MSC:  68T20 68P10
PDF BibTeX Cite
Problemy Iskusstvennogo Intellekta, 15. Moskva: Nauka. 160 p. R. 0.65 (1989).
Reviewer: S.Vorobév
MSC:  68T30 68T15 03B35 68-02
PDF BibTeX Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software