Pop-Up Thingie
Sidebar
>>> Magnum BBS <<<
Home
Forum
Files
Dark
Log in
Username
Password
Sidebar
Forum
Usenet
COMP.SOFTWARE-ENG
The Reasoned Lisper
From
Chris Kohlhepp
@21:1/5 to
All
on Wed Dec 16 02:42:04 2015
Bridging Discrete and Continuous Logic in Automated Reasoning Systems
https://chriskohlhepp.wordpress.com/the-reasoned-lisper/
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)
Who's Online
System Info
Sysop:
Keyop
Location:
Huddersfield, West Yorkshire, UK
Users:
296
Nodes:
16 (
2
/
14
)
Uptime:
63:24:28
Calls:
6,654
Files:
12,200
Messages:
5,331,697