start | find | index | login or register | edit | ||
FLORID
by earl, 7601 days ago
F-Logic Reasoning In DatabasesAn early implementation of F-Logic headed by Georg Lausen at the Universität Freiburg. - http://www.informatik.uni-freiburg.de/~dbis/florid/ |
search 40 active users
recent stores (more) echo earlZstrainYat|tr ZY @. |
|
earl.strain.at • esa3 • online for 8662 days • c'est un vanilla site |