Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science) [Paperback]
6 Angebote vergleichen
| Preise | 2012 | 2013 | 2014 | 2015 |
|---|---|---|---|---|
| Schnitt | € 47,19 | € 30,45 | € 51,35 | € 74,37 |
| Nachfrage |
1
Symbolbild
Types for Proofs and Programs
DE PB NWISBN: 9783540605799 bzw. 3540605797, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory.x, 210 S. X, 210 p. 233 mmVersandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory.x, 210 S. X, 210 p. 233 mmVersandfertig in 3-5 Tagen, Softcover.
2
Types for Proofs and Programs (1995)
DE PB NW RPISBN: 9783540605799 bzw. 3540605797, in Deutsch, Springer Okt 1995, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, NDS, Germany.
This item is printed on demand - Print on Demand Titel. Neuware - This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory. 220 pp. Englisch.
This item is printed on demand - Print on Demand Titel. Neuware - This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory. 220 pp. Englisch.
3
Types for Proofs and Programs (1994)
~EN PB NWISBN: 9783540605799 bzw. 3540605797, vermutlich in Englisch, Springer Nature, Taschenbuch, neu.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994. The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory. Soft cover.
This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994. The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory. Soft cover.
4
Types for Proofs and Programs. International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (1995)
DE PB NWISBN: 9783540605799 bzw. 3540605797, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, GLOS, United Kingdom.
9783540605799 Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.
9783540605799 Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.
5
International Workshop Types 9 (1994 Bastad, Sweden)/ Dybjer, Peter/ Nordstrom, Bengt/ Smith, Jan M.
for Proofs and Programs: '94, Sweden, June 6-10, 1994 : Selected Papers (1995)
DE PB NW FEISBN: 9783540605799 bzw. 3540605797, in Deutsch, Springer Verlag, Taschenbuch, neu, Erstausgabe.
Von Händler/Antiquariat, Revaluation Books [2134736], Exeter, United Kingdom.
1st edition. 202 pages. 9.10x6.40x0.50 inches. In Stock.
1st edition. 202 pages. 9.10x6.40x0.50 inches. In Stock.
6
![9783540605799 - Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science) [Paperback]](/c-9783540605799-3.jpg "9783540605799 - Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science) [Paperback]")
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science) [Paperback]
DE PB USISBN: 9783540605799 bzw. 3540605797, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, gebraucht.
Von Händler/Antiquariat, AMAZINGBOOKDEALS [55216202], IRVING, TX, U.S.A.
Book in LIKE NEW condition. Fast Shipping. Prompt Customer Service. Satisfaction guaranteed.
Book in LIKE NEW condition. Fast Shipping. Prompt Customer Service. Satisfaction guaranteed.
Lade…