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

Theorem Proving In Higher Order Logics
Theorem Proving In Higher Order Logics
12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings »
 
 
 
 
 

Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
11th International Conference, TPHOLS '98, Canberra, Australia, September 27 - October 1, 1998, Proceedings »