OPAC - Catalogue online | 2: Systems and implementation techniques

My library account

ACCESSIBLE VERSION

Search the Catalog
Discovery Service - Extend your search

Advanced search Chronology

Twitter

2: Systems and implementation techniques. - Dordrecht <etc.> : Kluwer, c1998. - XIV, 434 p. ; 25 cm.

Testo a stampa (moderno) 1998

Part of

Automated deduction : a basis for applications , 2

Find it at
Details

Choose a library