Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings ... Notes in Computer Science (780), Band 780)

von: Jeffrey J. Joyce · Carl-Johan H. Seger Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-57826-0 ISBN-10: 3-540-57826-9 Springer · 2008