×

zbMATH — the first resource for mathematics

Found 17 Documents (Results 1–17)

100
MathJax
Berlin: Springer. ix, 280 p. (1996).
Reviewer: N.Curteanu (Iaşi)
PDF BibTeX XML Cite
Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 238-249 (1991).
MSC:  68T30 68N01 68Q60
PDF BibTeX XML Cite

Filter Results by …

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