Logic Programming and Automated Reasoning

Create Tool:

Create Time:1970-01-01 08:00:00

File Size:20.79 MB

File Count:3

File Hash:db283a1b32f1a1c53abd8710d97e3aa03d85cda8

LogicProgrammingandAutomatedReasoning.tgz	20.79 MB
Torrent downloaded from demonoid.pw.txt	46 B
Torrent Downloaded From ExtraTorrent.com.txt	367 B

udp://tracker.publicbt.com/announce
udp://glotorrents.pw:6969/announce