[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Posting history for user HPSRAD::KUNDU

7 notes across 3 conferences

Summary of Posts

Click on conference filespec to scroll down to

Conference	Total Posts	Conference Title
rusure::math	5	Mathematics at DEC
bookie::catalogs	1	The World of Mail-order Catalogs
ricks::formal_verification	1	Formal Specification and Verification

Conference bookie::catalogs (The World of Mail-order Catalogs)

1 posts

TOPIC 85.0 Wed May 04 1988 15:02 Teddy Bears & Stuffed Animals 11 lines

Conference ricks::formal_verification (Formal Specification and Verification)

1 posts

TOPIC	4.0	Participants
	4.8	`Fri Jan 15 1988 18:11`	Snehamay Kundu	15 lines

Conference rusure::math (Mathematics at DEC)

5 posts

TOPIC	751.0	logic design: 'square root' of boolean matrix operator
	751.14	`Fri Feb 26 1988 13:21`	Sq. root function and Sq. root permutation	135 lines
TOPIC	888.0	Two more interesting problems.
	888.6	`Mon Jun 20 1988 21:54`	First problem	45 lines
	888.7	`Mon Jun 20 1988 22:20`	typo in .6	1 lines
	888.9	`Tue Jun 21 1988 11:36`	ans in .6 is incorrect	7 lines
TOPIC	1038.0	A problem in analysis
	1038.13	`Mon Mar 20 1989 12:51`	<by contradiction>	27 lines

Additional information

First Post:	`Fri Jan 15 1988`
Last Post:	`Mon Mar 20 1989`
# Topics:	1
# Replies:	6
# We have note bodies for:	5

Total memory used by this script: 1,369,792 (4,194,304)