Boek

Automated Reasoning With Analytic Tableaux And Related Methods

16th International Conference, Tableaux 2007, Aix En Provence, France, July 3-6, 2007, Proceedings «

Score:

(3/0)

Aantal recensies:

0

Aantal keer getipt:

0

Aantal keer gelezen:

0

Auteur(s):

Categorie:

ISBN

9783540730989

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 »

Niemand

Automated Reasoning With Analytic Tableaux And Related Methods

Welkom op Boeklezers.nl

Tippers

Lezers