Identifiant pérenne de la notice : 033345422
Notice de type
Personne
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
LCNA (CD OCLC), 1994-06