×

zbMATH — the first resource for mathematics

Found 78 Documents (Results 1–78)

100
MathJax
Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 3-14 (2012).
MSC:  68T15 68N18
PDF BibTeX XML Cite
Full Text: DOI
Gottlob, Georg (ed.) et al., Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC ’93, Brno, Czech Republic, August 24-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 713, 83-96 (1993).
MSC:  68T15 03B25
PDF BibTeX XML Cite
Voronkov, Andrei (ed.), Logic programming and automated reasoning. 4th international conference, LPAR ’93, St. Petersburg, Russia, July 13-20, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 698, 122-133 (1993).
MSC:  68T15 03B25
PDF BibTeX XML Cite
Wiesbaden etc.: Vieweg. X, 172 p. (1992).
MSC:  68T15 68-01 03B35
PDF BibTeX XML Cite
Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 165-170 (1991).
Reviewer: N.Curteanu (Iaşi)
MSC:  68T15 03B35
PDF BibTeX XML Cite
Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 118-124 (1991).
Reviewer: N.Curteanu (Iaşi)
MSC:  68T15 03B35 68N17 68T99
PDF BibTeX XML Cite

Filter Results by …

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