W. Bibel
4 published titles
Artifical intelligence : methodology, systems, applications : proceedings of the International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '84) Varna, Bulgaria, 17
(Contributor)
1 edition
- ISBN: 0444877436
- North-Holland for the European Coordinating Committee for Artificial Intelligence
- 1985
- Details
Deduction : automated logic
1 edition
- ISBN: 012095835X
- Academic
- 1993
- Details
Automated deduction : a basis for applications
(Contributor)
1 edition
- ISBN: 0792351312
- Kluwer Academic
- 1998
- Details
Intellectics and computational logic : papers in honor of Wolfgang Bibel
(Contributor)
1 edition
- ISBN: 0792362616
- Kluwer Academic Publishers
- 2000
- Details
