Boek

Nondeterminism and Language Design in Deep Inference

A Proof Theoretic Approach to Logic Programming «

Score:

(3/0)

Aantal recensies:

0

Aantal keer getipt:

0

Aantal keer gelezen:

0

Auteur(s):

Ozan Kahramanogullari

Categorie:

ISBN

9783659134753

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 berichten geplaatst op het prikbord van Nondeterminism and Language Design in Deep Inference.