Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings - Lecture Notes in Computer Science 780 (Paperback)Jeffrey J. Joyce (editor), Carl-Johan H. Seger (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 526
Weight: 1640 g
Dimensions: 235 x 155 x 27 mm
Edition: 1994 ed.
You may also be interested in...
Please sign in to write a review