×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–6)

100
MathJax
Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-319-51651-6/pbk; 978-3-319-51653-0/ebook). xviii, 150 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Baader, Franz (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25236-3/pbk). Lecture Notes in Computer Science 3452. Lecture Notes in Artificial Intelligence, 433-448 (2005).
MSC:  03B35 68T15
PDF BibTeX XML Cite
Full Text: DOI
de Queiroz, Ruy (ed.) et al., WoLLIC’2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30–August 2, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 67, 76-95 (2002).
MSC:  03B40 68N18
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
Classification
all top 3
Software