×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Sampaio, Augusto (ed.), Proceedings of the second Brazilian symposium on formal methods (SBMF 2005), Porto Alegre, RS, Brazil, November 30, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 184, 21-37 (2007).
MSC:  68T15 68M14 68Q60
BibTeX Cite
Full Text: DOI
Buchberger, Bruno (ed.) et al., Artificial intelligence and symbolic computation. 7th international conference, AISC 2004, Linz, Austria, September 22–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23212-5/pbk). Lecture Notes in Computer Science 3249. Lecture Notes in Artificial Intelligence, 271-275 (2004).
MSC:  68T15 68T20
BibTeX Cite
Full Text: DOI
Dahn, Ingo (ed.) et al., FTP’2003: 4th international workshop on first-order theorem proving. Proceedings of the workshop (in connection with RDP’03, federated conference on rewriting, deduction and programming), Valencia, Spain, June 12–14, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 86, No. 1, 105-119 (2003).
MSC:  68T15 68N99
BibTeX Cite
Full Text: DOI

Filter Results by …

Author
Year of Publication
Classification
Software