MPG.eBooks - Search Results - "prover"

Search alternatives:
"prover" » "proven", "proved", "proves"

Cover Image

1

Knowledge Science, Engineering and Management : First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Table of Contents: “...An Extension Rule Based First-Order Theorem Prover -- An Extended Meta-model for Workflow Resource...”