×

zbMATH — the first resource for mathematics

Found 55 Documents (Results 1–55)

100
MathJax
Chakraverty, Snehashish (ed.), Mathematical methods in interdisciplinary sciences. Hoboken, NJ: John Wiley & Sons (ISBN 978-1-119-58550-3/hbk; 978-1-119-58564-0/ebook). 167-214 (2020).
MSC:  74 76 80
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 95-110 (2018).
MSC:  03B50 03C40
PDF BibTeX XML 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 XML Cite
Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 22-31 (2008).
MSC:  03B52
PDF BibTeX XML Cite
Full Text: DOI
Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 697-711 (2005).
MSC:  03B20 03C40 03F05
PDF BibTeX XML Cite
Full Text: DOI
Piperevski, Boro (ed.) et al., 2nd congress of mathematicians and computer scientists of Macedonia. Proceedings of the congress, Ohrid, Macedonia, September 28–October 1, 2000. Skopje: Sojuz na Matematicharite i Informaticharite na Makedonija. 137-144 (2003).
MSC:  68T15 03F99
PDF BibTeX XML Cite
Faller, Martina (ed.) et al., Formalizing the dynamics of information. Stanford, CA: CSLI, Center for the Study of Language and Information. CSLI Lect. Notes. 91, 105-114 (2000).
MSC:  03B20 03F03
PDF BibTeX XML Cite
Dalen, Dirk van (ed.) et al., Computer science logic. 10th international workshop, CSL ’96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21–27, 1996. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1258, 18-33 (1997).
MSC:  03F05 03F20 68Q15
PDF BibTeX XML Cite

Filter Results by …

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