REMINDER FINAL CFP FOR DISCO'96
Andreas Wolf
(
wolfa@informatik.tu-muenchen.de
)
Tue, 30 Jan 1996 11:59:34 +0100
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Next message:
Jim Grundy: "2nd CFP: TPHOLs96 - Theorem Proving in Higher Order Logics (ASCII)"
Previous message:
Karsten Homann: "REMINDER FINAL CFP FOR DISCO'96"
subscribe qed
Next message:
Jim Grundy: "2nd CFP: TPHOLs96 - Theorem Proving in Higher Order Logics (ASCII)"
Previous message:
Karsten Homann: "REMINDER FINAL CFP FOR DISCO'96"