Automated deduction : a basis for applications / ed. by Wolfgang Bibel ...
Contributor(s): Resource type: Ressourcentyp: GesamtaufnahmeSetLanguage: English Series: Applied logic series ; ...Volumes: Show volumesPublisher: Dordrecht [u.a.] : Kluwer, 1998-ISBN:- 0792351320
- 006.33
- 006.3/33
No physical items for this record