"Wolfgang Bibel"@fr . "0000000108899143" . . . "Mathématicien. - En poste à Technische Hochschule Darmstadt, Allemagne (en 1993)"@fr . . . . . "2018-10-16" . "1994-10-05" . . "Wolfgang" . . . . . . . . "1938"^^ . . . . . "12422047"^^ . . "Bibel" . "2013-07-26"^^ . . . . "VIAF" . . . . "Mathématicien. - En poste à Technische Hochschule Darmstadt, Allemagne (en 1993)" . . . . . . "Deduction : automated logic / by Wolfgang Bibel ; with the asst. of Steffen Hölldobler and exercises by Gerd Neugebauer ; transl. by Monika Lekuse with the asst. of Donald Sannella, 1993. - . - LC Authorities. - http://authorities.loc.gov. - 2018-10-16"@fr . . "male" . "Wolfgang Bibel" . . "Mathématicien. - En poste à Technische Hochschule Darmstadt, Allemagne (en 1993)" . . . .