Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers: 806 (Lecture Notes in Computer Science, 806) - Softcover
Synopsis
This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993.
As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Types for Proofs and Programs: International Workshop...
Seller Image
Types for Proofs and Programs : International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5905836-n
Stock Image
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9783540580850
Seller Image
Types for Proofs and Programs : International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5905836
Stock Image
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540580850_new
Buy New
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540580850
Buy New
£ 47.80
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Types for Proofs and Programs : International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5905836-n
Buy New
£ 50.28
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Types for Proofs and Programs : International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5905836
Buy Used
£ 55.94
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers (Paperback or Softback)
Published by
Springer 5/20/1994, 1994
ISBN 10: 3540580859
ISBN 13: 9783540580850
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers. Book. Seller Inventory # BBS-9783540580850
Seller Image
Types for Proofs and Programs
Published by
Springer Berlin Heidelberg, 1994
ISBN 10: 3540580859
ISBN 13: 9783540580850
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993. Seller Inventory # 4894567
Buy New
£ 43.04
£ 42.32 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Types for Proofs and Programs
Published by
Springer Berlin Heidelberg Mai 1994, 1994
ISBN 10: 3540580859
ISBN 13: 9783540580850
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993.As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers. 404 pp. Englisch. Seller Inventory # 9783540580850