×

zbMATH — the first resource for mathematics

Found 15 Documents (Results 1–15)

100
MathJax
J. Comput. Syst. Sci. Int. 56, No. 1, 137-145 (2017); translation from Kibern. Sist. Anal. 2017, No. 1, 141-149 (2017).
MSC:  93E10 70P05 93A30 93C95
PDF BibTeX XML Cite
Full Text: DOI
Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 98-108, electronic only (2012).
MSC:  68N30 68N17 68N19
PDF BibTeX XML Cite
Full Text: DOI
Bellahsène, Zohra (ed.) et al., Object-oriented information systems. 8th international conference, OOIS 2002, Montpellier, France, September 2-5, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2425, 348-357 (2002).
MSC:  68U99 68U35 68M14
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

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