5th Conference on Automated Deduction
Les Arcs, France, July 8-11, 1980
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Wolfgang Bibel
Themen in »5th Conference on Automated Deduction«
Bibel Künstliche Intelligenz Resolution Variable algorithms automated deduction logic proof set theory theorem proving
Stimmen zu »5th Conference on Automated Deduction«
Details
ISBN: 9783540381402
Verlag: Springer Berlin
Erscheinung: 13.07.2005