×

zbMATH — the first resource for mathematics

Found 74 Documents (Results 1–74)

100
MathJax
de Paiva, Valeria (ed.) et al., Proceedings of the 6th workshop on intuitionistic modal logic and applications (IMLA 2013) in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 300, 47-70 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv
De Schreye, Danny (ed.), Logic-based program synthesis and transformation. 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-12591-1/pbk). Lecture Notes in Computer Science 6037, 97-112 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Gelfond, Michael (ed.) et al., Logic programming and nonmonotonic reasoning. 5th international conference, LPNMR ’99. El Paso, TX, USA, December 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1730, 347-356 (1999).
PDF BibTeX XML Cite
Gelfond, Michael (ed.) et al., Logic programming and nonmonotonic reasoning. 5th international conference, LPNMR ’99. El Paso, TX, USA, December 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1730, 78-91 (1999).
PDF BibTeX XML Cite
Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 521-583 (1992).
Reviewer: Li Xiang (Guiyang)
MSC:  03B70 68N17
PDF BibTeX XML Cite
Bouchon-Meunier, Bernadette (ed.) et al., Uncertainty in knowledge bases. 3rd international conference on information processing and management of uncertainty in knowlege-based systems, IPMU ’90. Paris, France, July 2-6, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 521, 223-231 (1991).
MSC:  03B45 03B60 68N17
PDF BibTeX XML Cite
Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 485-495 (1991).
MSC:  68T35
PDF BibTeX XML Cite
Lecture Notes in Computer Science 475. Berlin etc.: Springer-Verlag (ISBN 3-540-53590-X). VIII, 364 p. (1991).
PDF BibTeX XML Cite
Full Text: DOI
Amsterdam etc.: North-Holland. XVIII, 607 p. (1990).
Reviewer: G.Wagner (Berlin)
MSC:  68P15 68-06
PDF BibTeX XML Cite

Filter Results by …

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