cam a22 4 4500 128612975 CHVBK 20200921121546.0 880212s1982 gw 10 eng|d 3-540-11558-7 0-387-11558-7 (OCoLC)888782266 (NEBIS)000255912 ETH-BIB ger ETH-BIB ETHICS-ISBD 6th Conference on automated deduction New York, June 7-9, 1982 ed.: D.W.Loveland Berlin a.o. Springer 1982 VII, 389 p. fig. Lecture notes in computer science 138 138 (NEBIS)000025969 582721016 THEORIE DER PROGRAMMIERUNG ger (ETHUDK)000013697 ethudk Konferenzschrift New York (NY) 1982/06 gnd-content u G.0 MATHEMATICS OF COMPUTING. GENERAL idsuzh UM u THEORIE DER PROGRAMMIERUNG ger 004*04*02 nebis E1 u THÉORIE DE LA PROGRAMMATION fre 004*04*02 nebis E1 u THEORY OF PROGRAMMING eng 004*04*02 nebis E1 Loveland D.W. International Conference on Automated Deduction (DE-588)1091883068 BK020800 XK020000 XK020000 098 E01-20080101 New York (NY) Kongress = Congrès 1982/06 NEBIS UFBI UFBI ULMZS QA1.L4336 no. 138 NEBIS E30 E30 E30BI 2AK 110: 138 NEBIS E01 E01 MG P 713677: 138 NEBIS E02 E02 E02SP CG 236: 138 NEBIS 490 -- Lecture notes in computer science 138 138 (NEBIS)000025969 582721016 NEBIS 700 1- Loveland D.W. NEBIS 711 2- International Conference on Automated Deduction (DE-588)1091883068 SWISSBIB 128612975