×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Vardi, Moshe Y. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20101-7/pbk). Lect. Notes Comput. Sci. 2850, 33-48 (2003).
MSC:  03B35 03B25 68T15
BibTeX Cite
WorldCat.org
Pfenning, Frank (ed.), LFM 2002. Proceedings of the 3rd international workshop on logical frameworks and meta-languages (FLoC satellite event), Copenhagen, Denmark, July 26, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 2, 124-145 (2002).
MSC:  68T15 68N30 03B70
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Year of Publication
Classification
Software