Bibel, Wolfgang (1938-....) Signaler une erreur
033345422
Notice de type Personne

Forme retenue

Bibel, Wolfgang (1938-....)

Information

Langue d'expression : allemand

Source

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

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU

Autres identifiants

En cours : frBN010561754
En cours : FRBNF124220479

Notices bibliographiques liées :2rôle(s)

070 Auteur ( 1 )
340 Editeur scientifique ( 4 )



Auteur :

Rôles ?



025001396 : Automated theorem proving [Texte imprimé] / Wolfgang Bibel / Braunschweig : Vieweg , cop. 1982



Editeur scientifique :

Rôles ?



006798861 : Artificial intelligence [Texte imprimé] : methodology, systems, applications : proceedings of the International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '84), Varna, Bulgaria, 17-20 September, 1984 / [organized by the Bulgarian Academy of Sciences and the Bulgarian Industrial Association] ; ed. by W. Bibel and B. Petkoff / Amsterdam [etc.] : North-Holland , 1985

02276478X : 5th Conference on Automated Deduction [Texte imprimé] : Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski / Berlin : Springer-Verlag , cop. 1980

007675267 : Fundamentals of artificial intelligence [Texte imprimé] : an advanced course / ed. by W. Bibel and Ph. Jorrand / Berlin : Springer-Verlag , cop. 1987

128027452 : Automated deduction [Texte imprimé] : a basis for applications / edited by Wolfgang Bibel and Peter H. Schmitt / Dordrecht : Kluwer Academic , cop. 1998


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance