Central Library catalog

Normal view MARC view ISBD view

BERTOT ,Y.

INTERACTIVE THEOREM PROVING AND PROGRAM DEVELOPMENT : COQ ART :CALCULUS OF INDUC - BERLIN Springer 2004 - xxv+469p.,23X15Cms.

ISBN: 3540208542

Dewey Class. No.: 511.36 B536

Powered by Koha Implemented by Total IT Software Solutions