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