×

zbMATH — the first resource for mathematics

Found 385 Documents (Results 1–100)

100
MathJax
Mosc. Univ. Comput. Math. Cybern. 43, No. 1, 40-46 (2019); translation from Vestn. Mosk. Univ., Ser. XV 2019, No. 1, 65-75 (2019).
MSC:  03-XX 68-XX
PDF BibTeX Cite
Full Text: DOI
Stepney, Susan (ed.) et al., Unconventional computation and natural computation. 17th international conference, UCNC 2018, Fontainebleau, France, June 25–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10867, 59-71 (2018).
MSC:  68Q05 68Q10
PDF BibTeX Cite
Full Text: DOI
Russ. Math. 62, No. 4, 1-12 (2018); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2018, No. 4, 3-15 (2018).
MSC:  03-XX 08-XX
PDF BibTeX Cite
Full Text: DOI
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 362-381 (2016).
MSC:  03B45 03B42
PDF BibTeX Cite
Comput. Math. Math. Phys. 56, No. 8, 1517-1521 (2016); translation from Zh. Vychisl. Mat. Mat. Fiz. 56, No. 8, 1536-1540 (2016).
MSC:  06E30 03B50 03D15 94C10
PDF BibTeX Cite
Full Text: DOI
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 60-75 (2015).
PDF BibTeX Cite
Full Text: DOI
Comput. Math. Math. Phys. 55, No. 1, 131-139 (2015); translation from Zh. Vychisl. Mat. Mat. Fiz. 55, No. 1, 135-144 (2015).
MSC:  06E30 94D05
PDF BibTeX Cite
Full Text: DOI
Nieves, Juan Carlos (ed.) et al., Selected papers based on the presentations at the 9th Latin American workshop on logic/languages, algorithms and new methods of reasoning (LANMR), Valle de Bravo, Mexico, November 5–7, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 315, 17-30 (2014).
MSC:  68T15 03B70 05A15 68Q25
PDF BibTeX Cite
Full Text: DOI
Merelli, Emanuela (ed.) et al., Proceedings of the 4th international workshop on interactions between computer science and biology (CS2Bio’13), Florence, Italy, June 6, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 299, 85-100 (2013).
MSC:  92C42 68Q60
PDF BibTeX Cite
Full Text: DOI
Bustince, Humberto (ed.) et al., Aggregation functions in theory and in practise. Proceedings of the 7th international summer school on aggregation operators (AGOP 2013) at the Public University of Navarra, Pamplona, Spain, July 16–20, 2013. Berlin: Springer (ISBN 978-3-642-39164-4/pbk; 978-3-642-39165-1/ebook). Advances in Intelligent Systems and Computing 228, 205-215 (2013).
MSC:  03E72 03B52
PDF BibTeX Cite
Full Text: DOI
MSC:  03-02 03Bxx 03F07
PDF BibTeX Cite
Full Text: DOI
Grigoriu, Mircea (ed.) et al., Recent advances in computational intelligence. Proceedings of the 4th WSEAS international conference on computational intelligence (CI’10), Bucharest, Romania, April 20–22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-183-0/CD-ROM; 978-960-474-179-3/hbk). Electrical and Computer Engineering Series. A Series of Reference Books, 135-142 (2010).
MSC:  68T27 68Q45
PDF BibTeX Cite
Full Text: arXiv
Chinchuluun, Altannar (ed.) et al., Optimization and optimal control. Theory and applications. New York, NY: Springer (ISBN 978-0-387-89495-9/hbk; 978-0-387-89496-6/ebook). Springer Optimization and Its Applications 39, 199-225 (2010).
MSC:  90C27 90C20 90C09
PDF BibTeX Cite
Full Text: DOI
Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 504-518 (2010).
MSC:  68N17 68Q25
PDF BibTeX Cite
Full Text: DOI
Janhunen, Tomi (ed.) et al., Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15674-8/pbk). Lecture Notes in Computer Science 6341. Lecture Notes in Artificial Intelligence, 260-272 (2010).
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. I. Eger: Eszterházy Károly College. 73-79 (2009).
MSC:  03B35 03B10 68T15
PDF BibTeX Cite
Lodaya, Kamal (ed.) et al., Perspectives in concurrency. A Festschrift for P. S. Thiagarajan. Hyderabad: Universities Press; Boca Raton, FL: CRC Press (ISBN 978-1-4398-0943-3/hbk). 469-481 (2009).
MSC:  03B25 03D05 68Q45
PDF BibTeX Cite
Di Gesù, Vito (ed.) et al., Fuzzy logic and applications. 8th international workshop, WILF 2009, Palermo, Italy, June 9–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02281-4/pbk). Lecture Notes in Computer Science 5571. Lecture Notes in Artificial Intelligence, 52-59 (2009).
MSC:  03B52
PDF BibTeX Cite
Full Text: DOI

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
Biographic Reference
all top 3
Software