LEADER 00818oam  2200265z- 450 
001 996465762203316
005 20190425180707.0
035   $a(CKB)1000000000230036
035   $a(EXLCZ)991000000000230036
100   $a20190107c1980uuuu  -u-            -
101 0 $aeng
200 00$a5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980
210   $cSpringer Berlin Heidelberg$d1980
215   $a1 online resource
311   $a3-540-10009-1 
606   $aMathematics
606   $aMathematical logic
615  0$aMathematics.
615  0$aMathematical logic.
701   $aBibel$b Wolfgang$052148
701   $aKowalski$b Robert$048350
906   $aBOOK
912   $a996465762203316
996   $a5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980$92830686
997   $aUNISA