Boek

Proof Theory And Automated Deduction

«

Score:

(3/0)

Aantal recensies:

0

Aantal keer getipt:

0

Aantal keer gelezen:

0

Auteur(s):

Ian MacKie, Jean Goubault-Larrecq

Categorie:

ISBN

9781402003684

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 »

Er zijn nog geen verbanden gelegd.

Proof Theory And Automated Deduction

Welkom op Boeklezers.nl

Boeken zoals Proof Theory And Automated Deduction door Jean Goubault-Larrecq & Ian MacKie