×

zbMATH — the first resource for mathematics

Found 33 Documents (Results 1–33)

100
MathJax
Schewe, Klaus-Dieter (ed.) et al., Foundations of information and knowledge systems. 1st international symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1762, 241-259 (2000).
MSC:  68P15
PDF BibTeX XML Cite
Małuszyński, Jan (ed.), Logic programming. Proceedings of the international symposium (ILPS’97) held in Port Washington, NY, USA, October 13-16, 1997. Cambridge, MA: MIT Press. MIT Press Series in Logic Programming. 245-259 (1997).
MSC:  68P15 68N17
PDF BibTeX XML Cite
Fuhrmann, André (ed.) et al., Logic, action, and information. Essays on logic in philosophy and artificial intelligence. Based on a meeting held in autumn 1992 in Konstanz, Germany. Berlin: Walter de Gruyter. 392-414 (1996).
Reviewer: S.H.Lee (Seoul)
PDF BibTeX XML Cite

Filter Results by …

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