Cover von Automated deduction opens in new tab

Automated deduction

a basis for application
1998
Dordrecht, Kluwer
Media group: GESAMTWERK
Volumes

Details

Search for this author
Year: 1998
Publisher: Dordrecht, Kluwer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 0-7923-5132-0
Description: 3 vols.
Participating parties: Search for this character Bibel, Wolfgang; Schmitt, Peter H.
Media group: GESAMTWERK