Articles liés à Higher-order logic auxiliary proof system(Chinese Edition)
Synopsis
Language:Chinese.HardCover.Pub Date:2013-05-01.publisher:Beijing Institute of Technology Press.description:HardCover. Pub Date :2013-05-01 Pages: 253 Language: Chinese Publisher: Beijing Institute of Technology Press. higher-order logic auxiliary proof system is the use of an auxiliary proof system Isabelle conducted in higher-order logic Introduction
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Higher-order logic auxiliary proof system(Chinese Edition)
Image fournie par le vendeur
Higher-order logic auxiliary proof system(Chinese Edition)
Edité par
Beijing Institute of Technology Press, 2013
ISBN 10 : 7564077638
ISBN 13 : 9787564077631
Neuf
Couverture rigide
Vendeur : liu xing, Nanjing, JS, Chine
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : New. Ship out in 2 business day, And Fast shipping, Free Tracking number will be provided after the shipment.HardCover. Pub Date :2013-05-01 Pages: 253 Language: Chinese Publisher: Beijing Institute of Technology Press. higher-order logic auxiliary proof system is the use of an auxiliary proof system Isabelle conducted in higher-order logic Introduction interactive proof applicable Isabelle potential users in the system . self-contained. is divided into three parts: The first part is the basic techniques: higher-order logic describes how functional programming model provides a table (1ist) and a sim.Four Satisfaction guaranteed,or money back. N° de réf. du vendeur RV007759
Acheter neuf
EUR 76,20
Expédition à EUR 16
Expédition depuis Chine vers Etats-Unis
Expédition depuis Chine vers Etats-Unis
Quantité disponible : 3 disponible(s)