×
Loading...

Automated deduction in classical and non classical logics : selected papers

Creators: Caferra, Ricardo, 1945-, Salzer, Gernot, 1963-

Uploader: sketch

Added Date: 2015-12-30 07:25:48

Language: eng

Total Files: 18

Media Type: texts

Total Files Size: 162.37 MB

Read Online
Buy Now
Telegram icon Share on Telegram
⎘
Join Telegram How To Download

Total Files: 5

PDF
10.1007-3-540-46508-1.pdf
10 1007 3 540 46508 1 pdf

Last Modified: 2015-12-30 07:25:47

Download

Size: 4.52 MB

GZ
10.1007-3-540-46508-1_abbyy.gz
10 1007 3 540 46508 1 abbyy gz

Last Modified: 2015-12-30 08:59:23

Download

Size: 10.71 MB

TXT
10.1007-3-540-46508-1_djvu.txt
10 1007 3 540 46508 1 djvu txt

Last Modified: 2016-01-07 12:56:02

Download

Size: 450.31 KB

ZIP
10.1007-3-540-46508-1_jp2.zip
10 1007 3 540 46508 1 jp2 zip

Last Modified: 2015-12-30 07:28:45

Download

Size: 134.59 MB

TORRENT
springer_10.1007-3-540-46508-1_archive.torrent
springer 10 1007 3 540 46508 1 archive t...torrent

Last Modified: 2022-03-09 08:47:01

Download

Size: 10.44 KB