Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Bertot, Yves
Άλλοι συγγραφείς:	Casteran, P. (Pierre)
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Berlin ; New York : Springer, c2004
Σειρά:	Texts in theoretical computer science
Θέματα:	Automatic theorem proving. Computer programming.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

MARC


LEADER	00000nam a2200000 i 4500
001	1/100392
008	090126s2004 eng d
020			\|a 3-540-20854-2
035			\|l 10102839
040			\|a GR-MY-UA \|b gre \|e aacr
041	0		\|a eng
082	0		\|a 004.015113 \|2 (22)
100	1		\|a Bertot, Yves.
245	1	0	\|a Interactive theorem proving and program development : \|b Coq'Art : the calculus of inductive constructions / \|c Yves Bertot, Pierre Casteran ; foreword by Gerard Huet and Christine Paulin-Mohring
260			\|a Berlin ; New York : \|b Springer, \|c c2004
300			\|a xxv, 469 σ.; \|b εικ.; \|c 25 εκ.
490	1		\|a Texts in theoretical computer science
504			\|a Βιβλιογραφία: σ. [453]-457. Ευρετήριο
650	0	0	\|a Automatic theorem proving.
650	0	0	\|a Computer programming.
700	1		\|a Casteran, P. \|q (Pierre)
830		0	\|a Texts in theoretical computer science
852			\|a INST \|b SAMOS \|e 20090126 \|h 004.015113 BER \|p 005300029507 \|q 005300029507 \|t BK \|y 0
901			\|a BIBL3-2009-1
909			\|a Σ \|b 155466
922			\|a 3ΕΛΗ \|b 200808 \|c ΕΠΕΑΕΚ2/ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ-ΠΡΟΠΤΥΧΙΑΚΟ \|d ΜΙΧΑΛΟΠΟΥΛΟΣ
970			\|a ΚΟΣΙΕΡΗΣ \|b ΧΡΗΣΤΟΣ \|z 2009/01/26