Normal view MARC view ISBD view

INTERACTIVE THEOREM PROVING AND PROGRAM DEVELOPMENT : COQ ART :CALCULUS OF INDUC

Material type: materialTypeLabel

BookPublisher: BERLIN Springer 2004Description: xxv+469p.,23X15Cms.ISBN: 3540208542.DDC classification: 511.36 B536

average rating: 0.0 (0 votes)

Item type	Current location	Call number	Status	Date due	Barcode
Books	CENTRAL LIBRARY	511.36 B536 (Browse shelf)	Available		076472

Previous		No cover image available	No cover image available		No cover image available		No cover image available	Next
Previous	511.324 L831 TRANSLATIONS OF MATHEMATICAL MONOGRAPHS	511.324 O45 ANALYSIS OF BOOLEAN FUNCTIONS	511.352 W373 COMPUTABILITY THEORY	511.36 B536 INTERACTIVE THEOREM PROVING AND PROGRAM DEVELOPMENT : COQ ART :CALCULUS OF INDUC	511.4 B445 METHODS IN APPROXIMATION TECHNIQUES FOR MATHEMATICAL MODELLING	511.4 C518 COURSE IN APPROXIMATION YHEORY	511.4 D997 PRINCIPLES OF MATHEMATICAL MODELING	Next

There are no comments for this item.

More book reviews at iDreamBooks.com

Central Library