Boek
Theorem Proving In Higher Order Logics
12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings «
Score:
Aantal recensies:
Aantal keer getipt:
Aantal keer gelezen:
Auteur(s):
Andre Hirschowitz, J. Grundy, John Harrison, Malcolm C. Newey, Mark Aagaard, Richard J. Boulton, Yves Bertot
Categorie:
ISBN
9783540664635
Welkom op Boeklezers.nl
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Recensies van Theorem Proving In Higher Order Logics door John Harrison, Yves Bertot & Andre Hirschowitz
Er zijn nog geen recensies voor dit boek.
Ideeënbus
