Journal of automated reasoning
| Title | Journal of automated reasoning |
| Publication | Netherlands: Klwer Academic, 1985. |
| Physical Description | Print |
| Subject | Automatic theorem proving-Periodicals. |
| Multimedia |
Total Ratings:
0
00591nasaa2200193 a 4500
001
vtls001515714
003
VRT
005
20150819115700.0
008
110315c mr1pdd 0 2eng d
022
$a 0168-7433
039
9
$a 201508191157 $b Pad $y 201103151102 $z pani
245
1
0
$a Journal of automated reasoning
260
$a Netherlands: $b Klwer Academic, $c 1985.
300
$a Print
310
$a 8 times a year
650
0
$a Automatic theorem proving-Periodicals.
856
$u http://www.wkap.nl/journalhome.htm/0168-7433
999
$a VIRTUA
999
$a VTLSSORT0080*0220*2450*2600*3000*3100*6500*8560*9992
No Reviews to Display
| Subject | Automatic theorem proving-Periodicals. |
| Multimedia |