Theorem Proving in Higher Order Logics door V.A. Carreno
Nu kopen!

Boek

Theorem Proving in Higher Order Logics

15th International Conference, Tphols 2002, Hampton, Va, USA, August 20-23, 2002. Proceedings « 

Score:
 
 
 
 
 
 (3/0)

Aantal recensies:
0 
Aantal keer getipt:
0 
Aantal keer gelezen:
0 
Auteur(s):
,   
Categorie:
 
ISBN
9783540440390

 
Deel via E-mail 
Deel op Twitter 



 
Informatie
 
 
 
Recensies
 
 
 
Prikbord
 
 
Vergelijkbaar
 
 
Lezers
 
 

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 »

Meedoen

Boeken zoals Theorem Proving in Higher Order Logics door Alessandro B. Montanari & V.A. Carreno

Er zijn nog geen verbanden gelegd.