OPAC - Catalogue online | 1: Foundations, calculi and methods

My library account

ACCESSIBLE VERSION

Search the Catalog
Discovery Service - Extend your search

Advanced search Chronology

Twitter

1: Foundations, calculi and methods. - Dordrecht <etc.> : Kluwer, c1998. - XX, 480 p. ; 25 cm.

Testo a stampa (moderno) 1998

Part of

Automated deduction : a basis for applications , 1

Find it at
Details

Choose a library