(no subject)
Matthias Brucke
(
MATS@rob-nov1.fbp.fh-weingarten.de
)
Wed, 31 Jan 1996 11:56:51 GMT+1
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Next message:
Matthias Brucke: "(no subject)"
Previous message:
Jim Grundy: "2nd CFP: TPHOLs96 - Theorem Proving in Higher Order Logics (LaTeX)"
unsubscribe
mats@rob-nov1.fbp.fh-weingarten.de
Next message:
Matthias Brucke: "(no subject)"
Previous message:
Jim Grundy: "2nd CFP: TPHOLs96 - Theorem Proving in Higher Order Logics (LaTeX)"