First International Workshop on Larch : proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 /

First International Workshop on Larch : proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 /

Show other versions (1)
Bibliographic Details
Corporate Author: International Workshop on Larch Dedham, Mass.
Other Authors: Martin, Ursula, 1953-, Wing, Jeannette Marie
Format: Conference Proceeding Book
Language:English
Published: London ; New York : Springer-Verlag, [1993]
Series:Workshops in computing.
Subjects:
Larch prover > Congresses.
Automatic theorem proving > Congresses.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.A96 I58 1992
 
Call Number Status Get It
QA76.9.A96 I58 1992 Available